Parameterized Verification of Infinite-State Processes with Global Conditions

DOI10.1007/978-3-540-73368-3_17MaRDI QIDQ5429320zbMATH OpenOpenAlexFDO

Authors Giorgio Delzanno, Ahmed Rezine, Parosh A. Abdulla

Publication date 29 November 2007

Published in Computer Aided Verification (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-73368-3_17

Mathematics Subject Classification ID

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

Recommendations

• Approximated parameterized verification of infinite-state processes with global conditions
• scientific article; zbMATH DE number 2102701
• Handling Parameterized Systems with Non-atomic Global Conditions
• scientific article; zbMATH DE number 2080051
• Parameterized verification of systems with global synchronization and guards

Cited in

(17)

• Approximated parameterized verification of infinite-state processes with global conditions
• Cardinality constraints for arrays (decidability results and applications)
• Parameterized model checking on the TSO weak memory model
• Parameterized verification of systems with global synchronization and guards
• Monotonic Abstraction for Programs with Dynamic Memory Heaps
• Towards SMT Model Checking of Array-Based Systems
• Automatic Verification of Directory-Based Consistency Protocols
• Exploiting step semantics for efficient bounded model checking of asynchronous systems
• scientific article; zbMATH DE number 2102701 (Why is no real title available?)
• Monotonic abstraction in parameterized verification
• Controlling a random population
• Affine extensions of integer vector addition systems with states
• Light-weight SMT-based model checking
• Handling Parameterized Systems with Non-atomic Global Conditions
• Monotonic Abstraction in Action
• MCMT: a model checker modulo theories
• Regular model checking: evolution and perspectives

This page was built for publication: Parameterized Verification of Infinite-State Processes with Global Conditions

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