Sylvan

MaRDI QIDQ1353481swMATHFDO

Official website https://www.tvandijk.nl/pdf/2015sylvan.pdf

Source code repository https://github.com/utwente-fmt/sylvan

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