scientific article; zbMATH DE number 910719
From MaRDI portal
Publication:4885877
Recommendations
Cited in
(only showing first 100 items - show all)- A computer scientist looks at game theory.
- Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs (MDGs)
- scientific article; zbMATH DE number 1701767 (Why is no real title available?)
- scientific article; zbMATH DE number 1746645 (Why is no real title available?)
- The Birth of Model Checking
- Database Theory - ICDT 2005
- Automatic verification of reduction techniques in higher order logic
- Model checking RAISE applicative specifications
- Invariant-driven specifications in Maude
- scientific article; zbMATH DE number 4180789 (Why is no real title available?)
- The High Road to Formal Validation:
- Synthesising correct concurrent runtime monitors
- Computer Aided Verification
- Symbolic execution of Reo circuits using constraint automata
- Model checking at IBM
- Towards a notion of unsatisfiable and unrealizable cores for LTL
- Partial order reduction for state/event LTL with application to component-interaction automata
- Computer Aided Verification
- Actor-based slicing techniques for efficient reduction of Rebeca models
- A novel analysis space for pointer analysis and its application for bug finding
- Game-theoretic simulation checking tool
- Pentagons: a weakly relational abstract domain for the efficient validation of array accesses
- Correct Hardware Design and Verification Methods
- Model checking using net unfoldings
- scientific article; zbMATH DE number 88991 (Why is no real title available?)
- Model checking downward simulations
- Computer Aided Verification
- Model checking Russian cards
- Verification by augmented abstraction: The automata-theoretic view
- A state/event-based model-checking approach for the analysis of abstract system properties
- Application of static analyses for state-space reduction to the microcontroller binary code
- Flash memory efficient LTL model checking
- Active learning for extended finite state machines
- scientific article; zbMATH DE number 1798186 (Why is no real title available?)
- Wu's characteristic set method for SystemVerilog assertions verification
- Automatic Verification of Sequential Circuits Using Temporal Logic
- scientific article; zbMATH DE number 2081113 (Why is no real title available?)
- Unit checking: symbolic model checking for a unit of code
- scientific article; zbMATH DE number 1798181 (Why is no real title available?)
- scientific article; zbMATH DE number 2102715 (Why is no real title available?)
- CEGAR for compositional analysis of qualitative properties in Markov decision processes
- Variable and clause elimination for LTL satisfiability checking
- Enhancing model checking in verification by AI techniques
- Programming a symbolic model checker in a fully expansive theorem prover
- Model checking of biological systems
- scientific article; zbMATH DE number 2087633 (Why is no real title available?)
- Formal Techniques for Networked and Distributed Systems - FORTE 2005
- Local model checking and protocol analysis
- Verification by augmented finitary abstraction
- scientific article; zbMATH DE number 1950556 (Why is no real title available?)
- scientific article; zbMATH DE number 1670777 (Why is no real title available?)
- scientific article; zbMATH DE number 2102699 (Why is no real title available?)
- Incremental model checking for decomposable structures
- Space-reduction strategies for model checking dynamic software
- From natural projection to partial model checking and back
- Symbolic model checking with rich assertional languages
- Action language verifier: An infinite-state model checker for reactive software specifications
- MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs
- Model checking with bounded context switching
- Compositional verification of asynchronous concurrent systems using CADP
- Types as models: model checking message-passing programs
- scientific article; zbMATH DE number 6720711 (Why is no real title available?)
- Model checking.
- Model checking learning agent systems using Promela with embedded C code and abstraction
- Extracting unsatisfiable cores for LTL via temporal resolution
- scientific article; zbMATH DE number 1670785 (Why is no real title available?)
- The Maude LTL model checker
- Model checking dynamic memory allocation in operating systems
- Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning
- scientific article; zbMATH DE number 1903363 (Why is no real title available?)
- Quantifier elimination by dependency sequents
- SAT-LP-IIS joint-directed path-oriented bounded reachability analysis of linear hybrid automata
- A model checker for linear time temporal logic
- A formalism to describe cyclogram testing models and perform model verification
- Symbolic model checking for channel-based component connectors
- Automata-Theoretic Model Checking Revisited
- scientific article; zbMATH DE number 2110619 (Why is no real title available?)
- Model checking, testing and verification working together
- scientific article; zbMATH DE number 2114135 (Why is no real title available?)
- A theory of hints in model checking.
- Model checking conformance with scenario-based specifications .
- Uncertainty in runtime verification: a survey
- Automated Technology for Verification and Analysis
- Meanings of model checking
- scientific article; zbMATH DE number 1903377 (Why is no real title available?)
- Formal Methods in Computer-Aided Design
- Verification, Model Checking, and Abstract Interpretation
- scientific article; zbMATH DE number 3872694 (Why is no real title available?)
- scientific article; zbMATH DE number 1796148 (Why is no real title available?)
- On-the-fly parallel model checking algorithm that is optimal for verification of weak LTL properties
- Formal verification of mobile robot protocols
- scientific article; zbMATH DE number 1903371 (Why is no real title available?)
- Verification: Theory and Practice
- scientific article; zbMATH DE number 1982204 (Why is no real title available?)
- scientific article; zbMATH DE number 2086963 (Why is no real title available?)
- scientific article; zbMATH DE number 1759713 (Why is no real title available?)
- Minimal refinements of specifications in modal and temporal logics
- Minimal refinements of specifications in modal and temporal logics
- Approximate Invariant Property Checking Using Term-Height Reduction for a Subset of First-Order Logic
- Model checking algorithm based on ant colony swarm intelligence
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)
