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