Cited in
(43)- Formal verification of a Java component using the RESOLVE framework
- Boolean polynomials, BDDs and CRHS equations -- connecting the dots with CryptaPath
- scientific article; zbMATH DE number 7455738 (Why is no real title available?)
- ProCount: weighted projected model counting with graded project-join trees
- A CTL* Model Checker for Petri Nets
- mCRL2
- BISIMULATOR
- M-TREE
- CUDD
- BuDDy
- COMICS
- LTSmin
- BDDNOW
- FORCE
- BEEM
- PARAM
- TVT
- DFTCalc
- Rapture
- Concurrency Workbench
- CacBDD
- Mec 5
- Murphi
- VERSA
- JScience
- Meddly
- mCRL
- PRISM-PSY
- PROPhESY
- Strix
- Jani
- EPFL
- Synthesizing optimal bias in randomized self-stabilization
- FACT
- ADD-Lib
- BDD
- dd
- JDD
- Oink
- SableJBDD
- Exact quantitative probabilistic model checking through rational search
- CryptaPath
- SILVER -- statistical independence and leakage verification
This page was built for software: Sylvan
