scientific article; zbMATH DE number 1759713

zbMATH Open0989.68517MaRDI QIDQ4536726FDOQ4536726

Authors: P. Z. Revesz 

Publication date: 6 August 2002

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

Recommendations

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

Mathematics Subject Classification ID

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

Cited In (5)

• Title not available (Why is that?)
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Algorithmic algebraic model checking. III: Approximate methods

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)