scientific article; zbMATH DE number 910719
From MaRDI portal
Publication:4885877
zbMATH Open0847.68063MaRDI QIDQ4885877FDOQ4885877
Authors:
Publication date: 28 July 1996
Title of this publication is not available (Why is that?)
Recommendations
Cited In (only showing first 100 items - show all)
- Incremental model checking for decomposable structures
- 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
- Correct Hardware Design and Verification Methods
- Model checking using net unfoldings
- Unit checking: symbolic model checking for a unit of code
- Title not available (Why is that?)
- Title not available (Why is that?)
- Model checking with bounded context switching
- Model checking dynamic memory allocation in operating systems
- The High Road to Formal Validation:
- Action language verifier: An infinite-state model checker for reactive software specifications
- 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?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Symbolic execution of Reo circuits using constraint automata
- Model checking, testing and verification working together
- 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
- Model checking of biological systems
- 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
- Automata-Theoretic Model Checking Revisited
- 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
- Game-theoretic simulation checking tool
- Verification by augmented abstraction: The automata-theoretic view
- 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
- A computer scientist looks at game theory.
- Automatic Verification of Sequential Circuits Using Temporal Logic
- A model checker for linear time temporal logic
- Model checking at IBM
- Symbolic model checking for channel-based component connectors
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Wu's characteristic set method for SystemVerilog assertions verification
- Programming a symbolic model checker in a fully expansive theorem prover
- Computer Aided Verification
- Model checking downward simulations
- Model checking.
- Title not available (Why is that?)
- Enhancing model checking in verification by AI techniques
- Formal Techniques for Networked and Distributed Systems - FORTE 2005
- Uncertainty in runtime verification: a survey
- Partial model checking of modal equations: a survey
- Pragmatics of model checking: An STTT special section
- 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
- Meanings of model checking
- Title not available (Why is that?)
- Title not available (Why is that?)
- On ACTL formulas having linear counterexamples
- Software model checking
- Fundamental Approaches to Software Engineering
- 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?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Evaluation of cyber security and modelling of risk propagation with Petri nets
Uses Software
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)
