Model Checking: From Tools to Theory

DOI10.1007/978-3-540-69850-0_6zbMATH Open1142.68429OpenAlexW1511286138MaRDI QIDQ3512435FDOQ3512435

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

Recommendations

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

Mathematics Subject Classification ID

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

Cited In (21)

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

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)