Discriminative Model Checking

DOI10.1007/978-3-540-70545-1_48zbMath1155.68444OpenAlexW2102108943MaRDI QIDQ3512513

Peter Niebert, Amir Pnueli, Doron A. Peled

Publication date: 15 July 2008

Published in: Computer Aided Verification (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-70545-1_48

Mathematics Subject Classification ID

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

Related Items (2)

Genetic Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms ⋮ Measuring and Synthesizing Systems in Probabilistic Environments

Cites Work

• Recognizing safety and liveness
• Modalities for model checking: Branching time logic strikes back
• Relationships between nondeterministic and deterministic tape complexities
• Model Checking-Based Genetic Programming with an Application to Mutual Exclusion
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Discriminative Model Checking