swMATH41639MaRDI QIDQ1353481FDOQ1353481
Author name not available (Why is that?)
Official website: https://www.tvandijk.nl/pdf/2015sylvan.pdf
Source code repository: https://github.com/utwente-fmt/sylvan
Cited In (41)
- SableJBDD
- Formal verification of a Java component using the RESOLVE framework
- Boolean polynomials, BDDs and CRHS equations -- connecting the dots with CryptaPath
- Title not available (Why is that?)
- ProCount: weighted projected model counting with graded project-join trees
- ADD-Lib
- BDD
- dd
- JDD
- A CTL* Model Checker for Petri Nets
- Synthesizing optimal bias in randomized self-stabilization
- 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
- Exact quantitative probabilistic model checking through rational search
- Oink
- CryptaPath
- SILVER -- statistical independence and leakage verification
- FACT
This page was built for software: Sylvan
