Parameterized Verification of Infinite-State Processes with Global Conditions
From MaRDI portal
Publication:5429320
DOI10.1007/978-3-540-73368-3_17zbMath1135.68461MaRDI QIDQ5429320
Ahmed Rezine, Giorgio Delzanno, Parosh Aziz 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
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Unnamed Item, Monotonic Abstraction in Parameterized Verification, Unnamed Item, 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, Exploiting step semantics for efficient bounded model checking of asynchronous systems, 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, Monotonic Abstraction for Programs with Dynamic Memory Heaps, Towards SMT Model Checking of Array-Based Systems, Automatic Verification of Directory-Based Consistency Protocols