Formal Methods in Computer-Aided Design

DOI10.1007/B102264MaRDI QIDQ5492984zbMATH OpenOpenAlexFDO

Authors Alessandro Cimatti, Marco Roveri, Daniel Sheridan

Publication date 20 October 2006

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b102264

Mathematics Subject Classification ID

Temporal logic (03B44) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1956570
• Towards a theory of time-bounded verification
• Bounded LTL model checking with stable models
• Verification, Model Checking, and Abstract Interpretation
• Time-Bounded Verification
• A quick axiomatisation of LTL with past
• Formal Methods in Computer-Aided Design
• scientific article; zbMATH DE number 1973987

Cited in

(10)

• Past is for free: on the complexity of verifying linear temporal properties with past
• A compact linear translation for bounded model checking
• scientific article; zbMATH DE number 1231598 (Why is no real title available?)
• Towards a notion of unsatisfiable and unrealizable cores for LTL
• scientific article; zbMATH DE number 1956570 (Why is no real title available?)
• A one-pass tree-shaped tableau for LTL+past
• Automata-Theoretic Model Checking Revisited
• Verification, Model Checking, and Abstract Interpretation
• SAT meets tableaux for linear temporal logic satisfiability
• On regular temporal logics with past

This page was built for publication: Formal Methods in Computer-Aided Design

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