Distributed explicit fair cycle detection (set based approach)

DOI10.1007/3-540-44829-2_4MaRDI QIDQ4426370zbMATH OpenFDO

Authors Radek Pelánek, I. Černá

Publication date 16 September 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2648/26480049.htm

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Is there a best symbolic cycle-detection algorithm?
• scientific article; zbMATH DE number 2081097
• Distributed breadth-first search LTL model checking
• Analysis of symbolic SCC hull algorithms
• CTL model checking on a shared-memory architecture

Cited in

(12)

• On-the-fly parallel model checking algorithm that is optimal for verification of weak LTL properties
• On algorithmic analysis of transcriptional regulation by LTL model checking
• CTL model checking on a shared-memory architecture
• Is there a best symbolic cycle-detection algorithm?
• Distributed verification of multi-threaded C++ programs
• Parallel model checking large-scale genetic regulatory networks with DiVinE
• Semi-external LTL Model Checking
• Analysis of symbolic SCC hull algorithms
• Distributed Cycle Detection and Removal
• Model checking of biological systems
• Revisiting Resistance Speeds Up I/O-Efficient LTL Model Checking
• Flash memory efficient LTL model checking

Describes a project that uses

Uses Software

• SPIN

This page was built for publication: Distributed explicit fair cycle detection (set based approach)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4426370)