scientific article; zbMATH DE number 1324663

MaRDI QIDQ4255565zbMATH OpenFDO

Authors Armin Biere, Yunshan Zhu, Edmund Clarke

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.005

zbMATH Keywords

verification process

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 910719
• Symbolic model checking: \(10^{20}\) states and beyond
• Local model checking for infinite state spaces

Cited in

(1)

• MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs

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 Q4255565)