scientific article; zbMATH DE number 910719

zbMATH Open0847.68063MaRDI QIDQ4885877FDOQ4885877

Authors:

Publication date: 28 July 1996

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 2080188
• scientific article; zbMATH DE number 1487860
• Model checking
• scientific article; zbMATH DE number 1746645
• Symbolic model checking: \(10^{20}\) states and beyond

zbMATH Keywords

model checkingcommunication protocols

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (only showing first 100 items - show all)

• 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
• 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?)
• A Practical Approach to Word Level Model Checking of Industrial Netlists
• 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?)
• An abstraction-refinement methodology for reasoning about network games
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Model checking approach to automated planning
• 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
• Combining model checking and testing
• Model checking parameterized by the semantics in Maude
• Title not available (Why is that?)
• Formal verification of mobile robot protocols
• Model checking using description logic
• Model checking action system refinements
• Model checking optimisation based congestion control algorithms
• An axiomatic semantics for \(\mathsf{ioco} \underline{\mathsf{s}}\) conformance relation
• Computer Aided Verification
• Explicit-state model checking
• Model checking algorithm based on ant colony swarm intelligence
• Approximate Invariant Property Checking Using Term-Height Reduction for a Subset of First-Order Logic
• Model Checking – My 27-Year Quest to Overcome the State Explosion Problem
• Title not available (Why is that?)
• Computation tree logic and NuSMV model checker
• On equilibria in quantitative games with reachability/safety objectives
• Model checking techniqes for the analysis of reactive systems
• Title not available (Why is that?)
• Model checking contractual protocols
• Avoidance of State Explosion Using Dependency Analysis in Model Checking Control Flow Model
• Generating model checkers from algebraic specifications
• Title not available (Why is that?)
• Introduction to model checking
• On-the-fly parallel model checking algorithm that is optimal for verification of weak LTL properties
• Local search in model checking
• Bonsai: cutting models down to size
• Title not available (Why is that?)
• Model-checking the preservation of temporal properties upon feature integration
• Hardware acceleration for model checking
• Title not available (Why is that?)
• Title not available (Why is that?)
• Model checking technology and tool development based on Groebner base
• Title not available (Why is that?)
• Modeling concurrent systems specified in a temporal concurrent constraint language. I
• Model checking: from hardware to software.
• The automatic detection of token structures and invariants using SAT checking
• Monte Carlo methods for process algebra
• Title not available (Why is that?)
• \(2^{5}\) years of model checking
• Title not available (Why is that?)
• Meanings of model checking
• Uncertainty in runtime verification: a survey
• Title not available (Why is that?)
• Title not available (Why is that?)
• Verification, Model Checking, and Abstract Interpretation
• Formal Methods in Computer-Aided Design
• A theory of hints in model checking.
• Model checking conformance with scenario-based specifications .
• Automated Technology for Verification and Analysis
• 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?)
• From natural projection to partial model checking and back
• 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

Uses Software

• HyTech

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)