search
- 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.
