scientific article; zbMATH DE number 1069483
From MaRDI portal
Publication:4356435
Recommendations
- Multi-core nested depth-first search
- Depth-first search with P systems
- Depth-First Search Using $$O(n)$$ Bits
- Depth-First Search and Kuratowski Subgraphs
- Depth-first search in directed planar graphs, revisited
- Depth-First Search in Directed Planar Graphs, Revisited
- scientific article; zbMATH DE number 3949734
- Depth-first search is inherently sequential
- Improved multi-core nested depth-first search
Cited in
(32)- Linear temporal logic symbolic model checking
- Multi-core nested depth-first search
- scientific article; zbMATH DE number 3990867 (Why is no real title available?)
- Relational depth-first-search with applications
- Depth-first iterative-deepening: An optimal admissible tree search
- More efficient on-the-fly LTL verification with Tarjan's algorithm
- Model checking \(\omega \)-regular properties with decoupled search
- Survey on Directed Model Checking
- Refinement to Imperative/HOL
- Depth First Search in the Semi-streaming Model
- A stack-slicing algorithm for multi-core model checking
- Partial-Order Reduction
- Flash memory efficient LTL model checking
- scientific article; zbMATH DE number 1973976 (Why is no real title available?)
- Model Checking Software
- Depth-First Search Using $$O(n)$$ Bits
- Formal verification of an executable LTL model checker with partial order reduction
- Taking Some Burden Off an Explicit CTL Model Checker
- Automated formal analysis and verification: an overview
- Revisiting Resistance Speeds Up I/O-Efficient LTL Model Checking
- Symmetry and partial order reduction techniques in model checking Rebeca
- Model checking with bounded context switching
- Explicit-state model checking
- Parallel nested depth-first searches for LTL model checking
- Refinement to imperative HOL
- Component-wise incremental LTL model checking
- Ant colony optimization with partial order reduction for discovering safety property violations in concurrent models
- Matching in security-by-contract for mobile code
- The Maude LTL model checker
- Improved multi-core nested depth-first search
- Automated verification of parallel nested DFS
- Automata-Theoretic Model Checking Revisited
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 Q4356435)
