scientific article; zbMATH DE number 1324662

MaRDI QIDQ4255564zbMATH OpenFDO

Authors Shankar Govindaraju, David L. Dill

Publication date 17 August 1999

Full work available at URL http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=23&iss=2#23.2.004

zbMATH Keywords

symbolic model checking

Mathematics Subject Classification ID

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

Recommendations

• Verification, Model Checking, and Abstract Interpretation
• Symbolic model checking: \(10^{20}\) states and beyond
• scientific article; zbMATH DE number 1507203

Cites work

• Graph-Based Algorithms for Boolean Function Manipulation
• Symbolic model checking: \(10^{20}\) states and beyond

Cited in

(2)

• Natural projection as partial model checking
• Formal Methods in Computer-Aided Design

This page was built for publication:

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