scientific article; zbMATH DE number 910719
From MaRDI portal
Publication:4885877
zbMATH Open0847.68063MaRDI QIDQ4885877FDOQ4885877
Author name not available (Why is that?)
Publication date: 28 July 1996
Title of this publication is not available (Why is that?)
Cited In (only showing first 100 items - show all)
- Partial model checking of modal equations: a survey
- Syntax-directed model checking of sequential programs
- Minimal refinements of specifications in modal and temporal logics
- Minimal refinements of specifications in modal and temporal logics
- Title not available (Why is that?)
- Title not available (Why is that?)
- On ACTL formulas having linear counterexamples
- Software model checking
- Using assumptions to distribute CTL model checking
- Title not available (Why is that?)
- Model Checking Value-Passing Modal Specifications
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Uncertainty in runtime verification: a survey
- Title not available (Why is that?)
- Title not available (Why is that?)
- Evaluation of cyber security and modelling of risk propagation with Petri nets
- Combining static analysis and case-based search space partitioning for reducing peak memory in model checking
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Modeling for Verification
- Verification: Theory and Practice
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Discriminative Model Checking
- Title not available (Why is that?)
- Formal verification of mobile robot protocols
- Computer Aided Verification
- Verification, Model Checking, and Abstract Interpretation
- Title not available (Why is that?)
- Title not available (Why is that?)
- Model checking contractual protocols
- Title not available (Why is that?)
- On-the-fly parallel model checking algorithm that is optimal for verification of weak LTL properties
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Pragmatics of model checking: An STTT special section
- Title not available (Why is that?)
- Title not available (Why is that?)
- Extracting unsatisfiable cores for LTL via temporal resolution
- The Birth of Model Checking
- Space-reduction strategies for model checking dynamic software
- Towards a notion of unsatisfiable and unrealizable cores for LTL
- Model checking using net unfoldings
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Computer Aided Verification
- Partial order reduction for state/event LTL with application to component-interaction automata
- A Practical Approach to Word Level Model Checking of Industrial Netlists
- Actor-based slicing techniques for efficient reduction of Rebeca models
- A novel analysis space for pointer analysis and its application for bug finding
- Pentagons: a weakly relational abstract domain for the efficient validation of array accesses
- Title not available (Why is that?)
- Title not available (Why is that?)
- The Maude LTL model checker
- Title not available (Why is that?)
- An abstraction-refinement methodology for reasoning about network games
- Title not available (Why is that?)
- Symbolic execution of Reo circuits using constraint automata
- Model checking, testing and verification working together
- Title not available (Why is that?)
- A state/event-based model-checking approach for the analysis of abstract system properties
- Computer Aided Verification
- Symbolic model checking with rich assertional languages
- Title not available (Why is that?)
- Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs (MDGs)
- Active learning for extended finite state machines
- Database Theory - ICDT 2005
- Invariant-driven specifications in Maude
- Modeling Concurrent systems specified in a Temporal Concurrent Constraint language-I
- Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning
- Title not available (Why is that?)
- Synthesising correct concurrent runtime monitors
- Application of static analyses for state-space reduction to the microcontroller binary code
- Flash memory efficient LTL model checking
- CEGAR for compositional analysis of qualitative properties in Markov decision processes
- Variable and clause elimination for LTL satisfiability checking
- Model checking action system refinements
- MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs
- An axiomatic semantics for \(\mathsf{ioco} \underline{\mathsf{s}}\) conformance relation
- Automatic verification of reduction techniques in higher order logic
- Model checking RAISE applicative specifications
- Model checking Russian cards
- Local model checking and protocol analysis
- Quantifier elimination by dependency sequents
- SAT-LP-IIS joint-directed path-oriented bounded reachability analysis of linear hybrid automata
- Verification by augmented abstraction: The automata-theoretic view
- On equilibria in quantitative games with reachability/safety objectives
- Title not available (Why is that?)
- Title not available (Why is that?)
- Verification by augmented finitary abstraction
- Compositional verification of asynchronous concurrent systems using CADP
- Model checking techniqes for the analysis of reactive systems
Uses Software
Recommendations
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 Q4885877)