HJ-V
: Habanero Java Verification Runtime for JPF
4M
: modeling language for
API
specification and verification.
MP Trace Language
: Trace language for message passing programs
jpf-guided-test
: guided test extensions for JPF
Javalite
: Javalite formalism in both Redex and Coq.
Modeling Operator Workload
(
Workload
–github): Workload extensions for JPF and Brahms.