Sylvan

MaRDI QIDQ1353481swMATHFDO

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

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

Cited in

(43)

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

This page was built for software: Sylvan