Compositional reasoning
From MaRDI portal
Publication:3176370
DOI10.1007/978-3-319-10575-8_12zbMATH Open1392.68249OpenAlexW4241926562MaRDI QIDQ3176370FDOQ3176370
Corina S. Păsăreanu, Kedar S. Namjoshi, Dimitra Giannakopoulou
Publication date: 20 July 2018
Published in: Handbook of Model Checking (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-10575-8_12
Recommendations
Cites Work
- All for the Price of Few
- Alternating-time temporal logic
- Title not available (Why is that?)
- Learning regular sets from queries and counterexamples
- Automated Assume-Guarantee Reasoning by Abstraction Refinement
- Learning Minimal Separating DFA’s for Compositional Verification
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages
- Title not available (Why is that?)
- A semantics for concurrent separation logic
- Learning to divide and conquer: applying the \(L^*\) algorithm to automate assume-guarantee reasoning
- Automated assumption generation for compositional verification
- Automatic symbolic compositional verification by learning assumptions
- Title not available (Why is that?)
- Nonlinear dynamics of networks: the groupoid formalism
- An axiomatic basis for computer programming
- Verifying properties of parallel programs
- Concurrency verification. Introduction to compositional and noncompositional methods
- Inductive data flow graphs
- On the Construction of Submodule Specifications and Communication Protocols
- Guarded commands, nondeterminacy and formal derivation of programs
- Synthesis of interface specifications for Java classes
- Tentative steps toward a development method for interfering programs
- Title not available (Why is that?)
- Modular verification of multithreaded programs
- Computer aided verification. 19th international conference, CAV 2007, Berlin, Germany, July 3--7, 2007. Proceedings.
- Title not available (Why is that?)
- Proofs of Networks of Processes
- Learning Probabilistic Systems from Tree Samples
- Proving the Correctness of Multiprocess Programs
- Inference of finite automata using homing sequences
- Title not available (Why is that?)
- Compositionality Entails Sequentializability
- Verification of parameterized concurrent programs by modular reasoning about data and control
- Predicate abstraction and refinement for verifying multi-threaded programs
- An abstract account of composition
- Title not available (Why is that?)
- CONCUR 2003 - Concurrency Theory
- Three optimizations for assume-guarantee reasoning with \(L^{*}\)
- Local proofs for global safety properties
- Local Proofs for Linear-Time Properties of Concurrent Programs
- Symmetry and Completeness in the Analysis of Parameterized Systems
- Temporal Logic and Fair Discrete Systems
- On the completeness of compositional reasoning methods
- Learning-Based Compositional Verification for Synchronous Probabilistic Systems
- Process Algebra and Model Checking
- Abstraction and Abstraction Refinement
- Local Symmetry and Compositional Verification
- Uncovering Symmetries in Irregular Process Networks
- Title not available (Why is that?)
- Parallelizing a Symbolic Compositional Model-Checking Algorithm
Cited In (10)
- \textsc{LTL} falsification in infinite-state systems
- Compositional CompCert
- Aspects of compositionality
- Compositional reasoning using intervals and time reversal
- Compositional verification of railway interlocking systems
- Compositional Reasoning about Shared Futures
- Proving the existence of fair paths in infinite-state systems
- Formal features of compositionality
- Title not available (Why is that?)
- The comprehension construction
Uses Software
This page was built for publication: Compositional reasoning
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3176370)
