Action Language Verifier, extended

DOI10.1007/11513988_40MaRDI QIDQ5716583zbMATH OpenOpenAlexFDO

Authors Tuba Yavuz-Kahveci, Constantinos Bartzis, Tevfik Bultan

Publication date 10 January 2006

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

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Action language verifier: An infinite-state model checker for reactive software specifications
• SAL 2
• scientific article; zbMATH DE number 910719
• ACTLW -- an action-based computation tree logic with unless operator
• Symbolic model checking: \(10^{20}\) states and beyond

Cited in

(11)

• Don't care words with an application to the automata-based approach for real addition
• Properties of a predicate transformer of the VRS system
• Learning to verify branching time properties
• Highly dependable concurrent programming using design for verification
• A high-level language for modeling algorithms and their properties
• Using Bounded Model Checking to Verify Consensus Algorithms
• Symbolic Execution Based Model Checking of Open Systems with Unbounded Variables
• Automatic Verification of Directory-Based Consistency Protocols
• Light-weight SMT-based model checking
• Verification of consensus algorithms using satisfiability solving
• Action language verifier: An infinite-state model checker for reactive software specifications

This page was built for publication: Action Language Verifier, extended

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