Improving BDD based symbolic model checking with isomorphism exploiting transition relations

MaRDI QIDQ4964714zbMATH OpenFDO

Authors Christian Appold

Publication date 3 March 2021

Full work available at URL https://arxiv.org/abs/1106.1229, http://eptcs.web.cse.unsw.edu.au/paper.cgi?GANDALF2011.2

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1629966
• scientific article; zbMATH DE number 1979553
• scientific article; zbMATH DE number 1507203
• Improved symbolic verification using partitioning techniques
• BDD-based symbolic model checking

Cited in

(2)

• Generating BDDs for symbolic model checking in CCS
• scientific article; zbMATH DE number 1979553 (Why is no real title available?)

This page was built for publication: Improving BDD based symbolic model checking with isomorphism exploiting transition relations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4964714)