scientific article; zbMATH DE number 910719
From MaRDI portal
Publication:4885877
Recommendations
Cited in
(only showing first 100 items - show all)- Model checking action system refinements
- A model checker for linear time temporal logic
- Model checking for action-based logics
- Model checking using net unfoldings
- A computer scientist looks at game theory.
- Generating model checkers from algebraic specifications
- Enhancing model checking in verification by AI techniques
- An abstraction-refinement methodology for reasoning about network games
- Model checking parameterized by the semantics in Maude
- On equilibria in quantitative games with reachability/safety objectives
- An axiomatic semantics for \(\mathsf{ioco} \underline{\mathsf{s}}\) conformance relation
- Verification by augmented finitary abstraction
- Pragmatics of model checking: An STTT special section
- Local model checking and protocol analysis
- Partial model checking of modal equations: a survey
- Syntax-directed model checking of sequential programs
- Model checking techniqes for the analysis of reactive systems
- Model checking at IBM
- Combining static analysis and case-based search space partitioning for reducing peak memory in model checking
- On-the-fly parallel model checking algorithm that is optimal for verification of weak LTL properties
- Model checking approach to automated planning
- From natural projection to partial model checking and back
- Evaluation of cyber security and modelling of risk propagation with Petri nets
- Compositional verification of asynchronous concurrent systems using CADP
- Formal verification of mobile robot protocols
- Symbolic model checking for channel-based component connectors
- Model checking, testing and verification working together
- Extracting unsatisfiable cores for LTL via temporal resolution
- Model checking.
- scientific article; zbMATH DE number 1670777 (Why is no real title available?)
- scientific article; zbMATH DE number 1670785 (Why is no real title available?)
- Software model checking
- scientific article; zbMATH DE number 1701755 (Why is no real title available?)
- scientific article; zbMATH DE number 1701767 (Why is no real title available?)
- Model checking contractual protocols
- scientific article; zbMATH DE number 1728527 (Why is no real title available?)
- Using assumptions to distribute CTL model checking
- Space-reduction strategies for model checking dynamic software
- Model-checking the preservation of temporal properties upon feature integration
- The Maude LTL model checker
- Model checking Russian cards
- Model checking downward simulations
- scientific article; zbMATH DE number 6720711 (Why is no real title available?)
- Model checking optimisation based congestion control algorithms
- Computation tree logic and NuSMV model checker
- Introduction to model checking
- Modeling for Verification
- Explicit-state model checking
- Combining model checking and testing
- scientific article; zbMATH DE number 4178463 (Why is no real title available?)
- scientific article; zbMATH DE number 4180789 (Why is no real title available?)
- The automatic detection of token structures and invariants using SAT checking
- Model checking learning agent systems using Promela with embedded C code and abstraction
- scientific article; zbMATH DE number 3872694 (Why is no real title available?)
- Model checking algorithm based on ant colony swarm intelligence
- Model checking technology and tool development based on Groebner base
- Model checking using description logic
- \(2^{5}\) years of model checking
- Model Checking Value-Passing Modal Specifications
- Bonsai: cutting models down to size
- MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs
- The Birth of Model Checking
- A Practical Approach to Word Level Model Checking of Industrial Netlists
- Discriminative Model Checking
- Hardware acceleration for model checking
- The High Road to Formal Validation:
- Approximate Invariant Property Checking Using Term-Height Reduction for a Subset of First-Order Logic
- Programming a symbolic model checker in a fully expansive theorem prover
- Incremental model checking for decomposable structures
- Avoidance of State Explosion Using Dependency Analysis in Model Checking Control Flow Model
- Wu's characteristic set method for SystemVerilog assertions verification
- Local search in model checking
- Automatic Verification of Sequential Circuits Using Temporal Logic
- scientific article; zbMATH DE number 88991 (Why is no real title available?)
- scientific article; zbMATH DE number 177505 (Why is no real title available?)
- scientific article; zbMATH DE number 1202873 (Why is no real title available?)
- scientific article; zbMATH DE number 1324663 (Why is no real title available?)
- scientific article; zbMATH DE number 516989 (Why is no real title available?)
- Symbolic execution of Reo circuits using constraint automata
- Towards a notion of unsatisfiable and unrealizable cores for LTL
- scientific article; zbMATH DE number 1950556 (Why is no real title available?)
- scientific article; zbMATH DE number 1953017 (Why is no real title available?)
- scientific article; zbMATH DE number 1982204 (Why is no real title available?)
- scientific article; zbMATH DE number 2020179 (Why is no real title available?)
- scientific article; zbMATH DE number 2038698 (Why is no real title available?)
- scientific article; zbMATH DE number 2080188 (Why is no real title available?)
- scientific article; zbMATH DE number 2080915 (Why is no real title available?)
- scientific article; zbMATH DE number 2081113 (Why is no real title available?)
- scientific article; zbMATH DE number 1487864 (Why is no real title available?)
- scientific article; zbMATH DE number 1487867 (Why is no real title available?)
- scientific article; zbMATH DE number 1746645 (Why is no real title available?)
- scientific article; zbMATH DE number 1744956 (Why is no real title available?)
- scientific article; zbMATH DE number 1744972 (Why is no real title available?)
- scientific article; zbMATH DE number 1759602 (Why is no real title available?)
- scientific article; zbMATH DE number 1759713 (Why is no real title available?)
- scientific article; zbMATH DE number 1796148 (Why is no real title available?)
- scientific article; zbMATH DE number 1798181 (Why is no real title available?)
- scientific article; zbMATH DE number 1798186 (Why is no real title available?)
- Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning
- A formalism to describe cyclogram testing models and perform model verification
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)
