scientific article; zbMATH DE number 1324664

MaRDI QIDQ4255567zbMATH OpenFDO

Authors Au Somenzi

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

zbMATH Keywords

binary decision diagramsmodel checking

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1507203
• Symbolic model checking: \(10^{20}\) states and beyond
• scientific article; zbMATH DE number 438994

Cited in

(12)

• Exploiting interleaving semantics in symbolic state-space generation
• scientific article; zbMATH DE number 1701767 (Why is no real title available?)
• scientific article; zbMATH DE number 1705167 (Why is no real title available?)
• scientific article; zbMATH DE number 1956594 (Why is no real title available?)
• scientific article; zbMATH DE number 1487475 (Why is no real title available?)
• scientific article; zbMATH DE number 1507203 (Why is no real title available?)
• scientific article; zbMATH DE number 1751930 (Why is no real title available?)
• scientific article; zbMATH DE number 1796151 (Why is no real title available?)
• Symbolic Methods for the State Space Exploration of GSPN Models
• Model Checking Software
• Formal Techniques for Networked and Distributed Systems – FORTE 2004
• FM 2005: Formal Methods

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