scientific article; zbMATH DE number 4180789
From MaRDI portal
Publication:3204034
zbMATH Open0716.68035MaRDI QIDQ3204034FDOQ3204034
Authors: David E. Long, K. L. McMillan, Edmund Clarke 
Publication date: 1989
Title of this publication is not available (Why is that?)
Recommendations
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Logic in computer science (03B70)
Cited In (45)
- Incremental model checking for decomposable structures
- Title not available (Why is that?)
- Compositional checking of satisfaction
- Compositional failure detection in structured transition systems
- Verification of asynchronous systems with an unspecified component
- Formula-dependent equivalence for compositional CTL model checking
- Reasoning about programs by exploiting the environment
- On the model checking of a system consisting of many similar components
- Compositionality and locality for improving model checking in the selective mu-calculus
- Automatic Synthesis of Assumptions for Compositional Model Checking
- A formal abstract framework for modelling and testing complex software systems
- Title not available (Why is that?)
- Testing Systems of Concurrent Black-Boxes—An Automata-Theoretic and Decompositional Approach
- Compositional runtime enforcement revisited
- Title not available (Why is that?)
- Projecting transition systems: overcoming state explosion in concurrent system verification
- Computer Aided Verification
- Compositional and quantitative model checking (extended abstract)
- Automated formal analysis and verification: an overview
- A compositional \(\mu\)-calculus proof system for statecharts processes
- Verification of evolving software via component substitutability analysis
- Distributed Computing - IWDC 2004
- Formal verification of concurrent systems via directed model checking
- Compositional model checking with incremental counter-example construction
- 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
- Compositional checking of satisfaction
- A mechanism of function calls in MSVL
- Symbolic model checking for channel-based component connectors
- Compositional Verification for Component-Based Systems and Application
- A logical process calculus
- 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
- Bounded model checking of traffic light control system
- TTL : a formalism to describe local and global properties of distributed systems
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)
