scientific article; zbMATH DE number 1759713

zbMATH Open0989.68517MaRDI QIDQ4536726FDOQ4536726

Authors P. Z. Revesz

Publication date 6 August 2002

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

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

Cited in

(5)

• scientific article; zbMATH DE number 7333237 (Why is no real title available?)
• scientific article; zbMATH DE number 2102716 (Why is no real title available?)
• scientific article; zbMATH DE number 1617315 (Why is no real title available?)
• Algorithmic algebraic model checking. III: Approximate methods
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems

Describes a project that uses

Uses Software

• HyTech

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