Verifying liveness by augmented abstraction

DOI10.1007/3-540-48168-0_11MaRDI QIDQ4945222zbMATH OpenFDO

Authors Yonit Kesten, Amir Pnueli

Publication date 26 September 2000

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

Full work available at URL https://doi.org/10.1007/3-540-48168-0_11

zbMATH Keywords

finite-state Büchi automatonverification by augmented finitary abstraction

Mathematics Subject Classification ID

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

Recommendations

• Verification by augmented abstraction: The automata-theoretic view
• Automated Technology for Verification and Analysis
• Verification by augmented finitary abstraction
• Verification, Model Checking, and Abstract Interpretation
• scientific article; zbMATH DE number 177518

Cited in

(9)

• Verification by augmented finitary abstraction
• scientific article; zbMATH DE number 177518 (Why is no real title available?)
• scientific article; zbMATH DE number 177525 (Why is no real title available?)
• scientific article; zbMATH DE number 1903348 (Why is no real title available?)
• A Fast Verified Liveness Analysis in SSA Form
• Verification, Model Checking, and Abstract Interpretation
• Proving Liveness by Backwards Reachability
• Verification by augmented abstraction: The automata-theoretic view
• Symbolic liveness analysis of real-world software

This page was built for publication: Verifying liveness by augmented abstraction

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