moraneus/TP-DejaVu

Enhanced version of the DEJAVU tool, optimized for two-phase Runtime Verification (RV). The first phase, written in Scala, enables operational RV with arithmetic, string, and Boolean operations using a clear syntax for updating summary variables. The second phase, based on the DEJAVU tool, performs monitoring against a first-order specification.

语言：Scala · GitHub 星标：3 · Fork：0

在 GitHub 上查看原仓库