scientific article; zbMATH DE number 1069483
From MaRDI portal
Publication:4356435
zbMath0880.68084MaRDI QIDQ4356435
Mihalis Yannakakis, Doron A. Peled, Gerard J. Holzmann
Publication date: 1 October 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (22)
Automated Verification of Parallel Nested DFS ⋮ Model checking \(\omega \)-regular properties with decoupled search ⋮ Explicit-State Model Checking ⋮ Partial-Order Reduction ⋮ Symmetry and partial order reduction techniques in model checking Rebeca ⋮ Matching in security-by-contract for mobile code ⋮ Refinement to Imperative/HOL ⋮ Flash memory efficient LTL model checking ⋮ Taking Some Burden Off an Explicit CTL Model Checker ⋮ Linear temporal logic symbolic model checking ⋮ Refinement to imperative HOL ⋮ Component-wise incremental LTL model checking ⋮ Formal verification of an executable LTL model checker with partial order reduction ⋮ Ant colony optimization with partial order reduction for discovering safety property violations in concurrent models ⋮ Unnamed Item ⋮ Model checking with bounded context switching ⋮ Automata-Theoretic Model Checking Revisited ⋮ Survey on Directed Model Checking ⋮ Revisiting Resistance Speeds Up I/O-Efficient LTL Model Checking ⋮ More efficient on-the-fly LTL verification with Tarjan's algorithm ⋮ A Stack-Slicing Algorithm for Multi-Core Model Checking ⋮ Automated formal analysis and verification: an overview
This page was built for publication:
