CacBDD

MaRDI QIDQ31228swMATHFDO

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

Cited in

(13)

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

This page was built for software: CacBDD