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