Handling Parameterized Systems with Non-atomic Global Conditions

DOI10.1007/978-3-540-78163-9_7zbMATH Open1138.68436OpenAlexW1875437173MaRDI QIDQ5452704FDOQ5452704

Authors: Noomene Ben Henda, Giorgio Delzanno, Ahmed Rezine, Parosh A. Abdulla 

Publication date: 4 April 2008

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

Full work available at URL: https://doi.org/10.1007/978-3-540-78163-9_7

Recommendations

• scientific article; zbMATH DE number 2102701
• Parameterized Verification of Infinite-State Processes with Global Conditions
• Approximated parameterized verification of infinite-state processes with global conditions
• scientific article; zbMATH DE number 2080051
• Monotonic Abstraction in Action

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Verification, Model Checking, and Abstract Interpretation
• Iterating transducers in the large (extended abstract)
• Time, clocks, and the ordering of events in a distributed system
• Algorithmic analysis of programs with well quasi-ordered domains.
• Title not available (Why is that?)
• Parameterized Verification of Infinite-State Processes with Global Conditions
• Symbolic model checking with rich assertional languages
• Computer Aided Verification
• Using partial orders for the efficient verification of deadlock freedom and safety properties
• A closed-form evaluation for Datalog queries with integer (gap)-order constraints
• Title not available (Why is that?)
• Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems)

Cited In (11)

• Parameterized verification of systems with global synchronization and guards
• Title not available (Why is that?)
• Parameterized Verification of Infinite-State Processes with Global Conditions
• Automatic Verification of Directory-Based Consistency Protocols
• Verifying Parameterized taDOM+ Lock Managers
• Monotonic Abstraction in Action
• Regular model checking: evolution and perspectives
• Monotonic abstraction in parameterized verification
• Abduction of trap invariants in parameterized systems
• Title not available (Why is that?)
• Approximated parameterized verification of infinite-state processes with global conditions

This page was built for publication: Handling Parameterized Systems with Non-atomic Global Conditions

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