scientific article; zbMATH DE number 4180789
From MaRDI portal
Publication:3204034
Recommendations
Cited in
(45)- Abstract patterns of compositional reasoning.
- Formal verification of concurrent systems via directed model checking
- scientific article; zbMATH DE number 88952 (Why is no real title available?)
- Verification of asynchronous systems with an unspecified component
- Computer Aided Verification
- A mechanism of function calls in MSVL
- scientific article; zbMATH DE number 7438162 (Why is no real title available?)
- The compositional method and regular reachability
- Bounded model checking of traffic light control system
- Grey-Box Checking
- On the computation of counterexamples in compositional nonblocking verification
- Distributed Computing - IWDC 2004
- Reasoning about programs by exploiting the environment
- A FORMULA-DRIVEN MODULAR ATTACK ON STATE EXPLOSION
- A logical process calculus
- Compositional model checking with incremental counter-example construction
- Compositional minimisation of finite state systems using interface specifications
- Runtime verification of component-based systems
- Compositional checking of satisfaction
- scientific article; zbMATH DE number 1512628 (Why is no real title available?)
- Compositional probabilistic model checking with string diagrams of MDPs
- Learning assumptions for compositional verification of timed automata
- APML: an architecture proof modeling language
- Compositional model checking of product-form CTMCs
- Testing Systems of Concurrent Black-Boxes—An Automata-Theoretic and Decompositional Approach
- Compositional and quantitative model checking (extended abstract)
- Compositional failure-based equivalence of constraint automata
- TTL : a formalism to describe local and global properties of distributed systems
- A formal abstract framework for modelling and testing complex software systems
- Automated formal analysis and verification: an overview
- Incremental model checking for decomposable structures
- On the model checking of a system consisting of many similar components
- Compositional checking of satisfaction
- Verification of evolving software via component substitutability analysis
- Formula-dependent equivalence for compositional CTL model checking
- Compositionality and locality for improving model checking in the selective mu-calculus
- Compositional Verification for Component-Based Systems and Application
- A survey on compositional algorithms for verification and synthesis in supervisory control
- Automatic Synthesis of Assumptions for Compositional Model Checking
- Compositional reasoning
- Projecting transition systems: overcoming state explosion in concurrent system verification
- Compositional failure detection in structured transition systems
- Compositional runtime enforcement revisited
- A compositional \(\mu\)-calculus proof system for statecharts processes
- Symbolic model checking for channel-based component connectors
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3204034)
