Multi-parameterised compositional verification of safety properties

DOI10.1016/j.ic.2015.08.002zbMath1329.68173OpenAlexW1649347715MaRDI QIDQ498394

Antti Siirtola, Juha Kortelainen

Publication date: 28 September 2015

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2015.08.002

zbMATH Keywords

decidabilityparameterised verificationconcurrency theorycompositional reasoningrefinement checking

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

An automata-theoretic approach to the verification of distributed algorithms

Uses Software

• nauty

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The weakest deadlock-preserving congruence
• Defining liveness
• A structural induction theorem for processes
• Understanding concurrent systems
• Verification of parametric concurrent systems with prioritised FIFO resource management
• Backward Reachability of Array-based Systems by SMT solving: Termination and Invariant Synthesis
• Computer Science Logic
• CONCUR 2004 - Concurrency Theory
• Computer Aided Verification
• The Spotlight Principle
• Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems
• On Reasoning About Rings
• Tools and Algorithms for the Construction and Analysis of Systems
• Correct Hardware Design and Verification Methods
• Verification, Model Checking, and Abstract Interpretation
• Computer Aided Verification
• Well-structured transition systems everywhere!

This page was built for publication: Multi-parameterised compositional verification of safety properties