Model Checking: From Tools to Theory

DOI10.1007/978-3-540-69850-0_6MaRDI QIDQ3512435zbMATHOpenAlexFDO

Authors Rajeev Alur

Publication date 15 July 2008

Published in 25 Years of Model Checking (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-69850-0_6

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 5245252
• Marrying Words and Trees
• Marrying Words and Trees
• Adding nesting structure to words
• Colored Nested Words

Cited in

(21)

• scientific article; zbMATH DE number 1796147 (Why is no real title available?)
• A partial approach to model checking
• Model-checking structured context-free languages
• Exploiting design structure in model checking. (Abstract)
• Nested interpolants
• On Diagrams and General Model Checkers
• scientific article; zbMATH DE number 5148400 (Why is no real title available?)
• Book review of: E. M. Clarke (ed.) et al., Handbook of model checking
• Transfer of model checking to industrial practice
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• scientific article; zbMATH DE number 1538014 (Why is no real title available?)
• A proof theory for model checking
• αCheck: A mechanized metatheory model checker
• Moving Arrows and Four Model Checking Results
• Easy instances for model checking
• The Beginning of Model Checking: A Personal Perspective
• scientific article; zbMATH DE number 1088222 (Why is no real title available?)
• scientific article; zbMATH DE number 1487860 (Why is no real title available?)
• New Challenges in Model Checking
• QUANTIFYING THE DISCORD: ORDER DISCREPANCIES IN MESSAGE SEQUENCE CHARTS
• Extending Model Checking with Dynamic Analysis

This page was built for publication: Model Checking: From Tools to Theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3512435)