havelund/dejavu

The DejaVu runtime verification system, using BDDs for storing data occurring in observed events.

语言：Scala · GitHub 星标：20 · Fork：6

在 GitHub 上查看原仓库