CacBDD

MaRDI QIDQ31228swMATHFDO

Official website http://link.springer.com/chapter/10.1007/978-3-642-39799-8_15

Cited in

(13)

• Formal verification of a Java component using the RESOLVE framework
• CUDD
• JTLV
• criterion
• DEMO
• HasCacBDD
• SMCDEL
• Hintikka's world
• Symbolic model checking for Dynamic Epistemic Logic — S5 and beyond*
• BDD
• JDD
• SableJBDD
• Symbolic Model Checking for Dynamic Epistemic Logic

This page was built for software: CacBDD