Is there a best symbolic cycle-detection algorithm?

DOI10.1007/3-540-45319-9_29MaRDI QIDQ2771062zbMATH OpenFDO

Authors Kathi Fisler, Ranan Fraer, Gila Kamhi, Moshe Y. Vardi, Zijiang Yang

Publication date 14 February 2002

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

Full work available at URL https://doi.org/10.1007/3-540-45319-9_29

zbMATH Keywords

fair-cycle detectionmodel checking

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Symbolic computation and algebraic computation (68W30)

Recommendations

• scientific article; zbMATH DE number 1979545
• Symbolic model checking with fewer fixpoint computations
• scientific article; zbMATH DE number 1982197
• A new heuristic for bad cycle detection using BDDs
• scientific article; zbMATH DE number 1324664

Cited in

(18)

• Improved lower bounds for the cycle detection problem
• Symbolic synthesis of masking fault-tolerant distributed programs
• On algorithmic analysis of transcriptional regulation by LTL model checking
• GSTE is partitioned model checking
• Cycle detection using a stack
• Compositional SCC analysis for language emptiness
• From complementation to certification
• Improved distributed algorithms for SCC decomposition
• Parallel model checking large-scale genetic regulatory networks with DiVinE
• scientific article; zbMATH DE number 1982197 (Why is no real title available?)
• scientific article; zbMATH DE number 1979545 (Why is no real title available?)
• Linear temporal logic symbolic model checking
• scientific article; zbMATH DE number 2102721 (Why is no real title available?)
• Automata-Theoretic Model Checking Revisited
• Revisiting Resistance Speeds Up I/O-Efficient LTL Model Checking
• A new heuristic for bad cycle detection using BDDs
• Towards a grand unification of Büchi complementation constructions
• A truly symbolic linear-time algorithm for SCC decomposition

This page was built for publication: Is there a best symbolic cycle-detection algorithm?

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