Practical abstractions for automated verification of message passing concurrency
From MaRDI portal
Publication:6536355
DOI10.1007/978-3-030-34968-4_22zbMATH Open1540.68156MaRDI QIDQ6536355FDOQ6536355
Authors: Wytse Oortwijn, Marieke Huisman 
Publication date: 19 April 2024
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Software reliability methods. Foreword by Edmund M. Clarke
- A semantics for concurrent separation logic
- Resources, concurrency, and local reasoning
- Concurrency verification. Introduction to compositional and noncompositional methods
- Modeling and analysis of communicating systems
- A Marriage of Rely/Guarantee and Separation Logic
- 25 years of model checking. History, achievements, perspectives
- Communicating state transition systems for fine-grained concurrent resources
- Modular reasoning for message-passing programs
- Viper: A Verification Infrastructure for Permission-Based Reasoning
- Concurrent Separation Logic and Operational Semantics
- Title not available (Why is that?)
- An abstraction technique for describing concurrent program behaviour
- Modular reasoning about separation of concurrent data structures
- Verifying data- and control-oriented properties combining static and runtime verification: theory and tools
- Combining Model Checking and Deduction
- Permission-based separation logic for message-passing concurrency
This page was built for publication: Practical abstractions for automated verification of message passing concurrency
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6536355)
