Rank-based symbolic bisimulation: (and model checking)

DOI10.1016/S1571-0661(04)80547-4MaRDI QIDQ4916208zbMATH OpenOpenAlexFDO

Authors Agostino Dovier, Carla Piazza, Alberto Policriti, Raffaella Gentilini

Publication date 19 April 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s1571-0661(04)80547-4

zbMATH Keywords

bisimulationmodel checkingordered binary decision diagramssymbolic algorithms

Mathematics Subject Classification ID

Graph algorithms (graph-theoretic aspects) (05C85) Analysis of algorithms and problem complexity (68Q25) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• An efficient algorithm for computing bisimulation equivalence
• Rank and simulation: the well-founded case
• scientific article; zbMATH DE number 1796125
• An efficient fully symbolic bisimulation algorithm for non-deterministic systems
• Sigref – A Symbolic Bisimulation Tool Box

Cites work

• A linear time solution to the single function coarsest partition problem
• An algorithm for strongly connected component analysis in \(n \log n\) symbolic steps
• Binary Decision Diagrams
• Depth-First Search and Linear Graph Algorithms
• Graph-Based Algorithms for Boolean Function Manipulation
• scientific article; zbMATH DE number 438994 (Why is no real title available?)
• scientific article; zbMATH DE number 42735 (Why is no real title available?)
• scientific article; zbMATH DE number 177515 (Why is no real title available?)
• scientific article; zbMATH DE number 3460178 (Why is no real title available?)
• scientific article; zbMATH DE number 1796125 (Why is no real title available?)
• scientific article; zbMATH DE number 1390338 (Why is no real title available?)
• Three Partition Refinement Algorithms

Cited in

(5)

• An efficient algorithm for computing bisimulation equivalence
• A fully symbolic bisimulation algorithm
• Rank and simulation: the well-founded case
• Sigref – A Symbolic Bisimulation Tool Box
• Equivalence checking 40 years after: a review of bisimulation tools

Describes a project that uses

Uses Software

• CUDD

This page was built for publication: Rank-based symbolic bisimulation: (and model checking)

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