scientific article; zbMATH DE number 1324662

zbMATH Open0920.68070MaRDI QIDQ4255564

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

Title of this publication is not available (Why is that?)

zbMATH Keywords

symbolic model checking

Mathematics Subject Classification ID

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

Cites Work

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

Related Items (1)

Natural projection as partial model checking

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)