scientific article; zbMATH DE number 1424032

MaRDI QIDQ4945222zbMATH OpenFDO

Authors Yonit Kesten, Amir Pnueli

Publication date 26 September 2000

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:

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