Bisimulation minimization and symbolic model checking

DOI10.1023/A:1016091902809zbMATH Open1018.68052OpenAlexW1525386718MaRDI QIDQ698435FDOQ698435

Authors Kathi Fisler, Moshe Y. Vardi

Publication date 18 September 2002

Published in Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1016091902809

zbMATH Keywords

symbolic model checkingbisimulation minimizationinvariant propertieson-the-fly model checking

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A parallel relation-based algorithm for symbolic bisimulation minimization
• Bisimulation Minimisation Mostly Speeds Up Probabilistic Model Checking
• SMT-based bisimulation minimisation of Markov models
• Partial-order reduction in symbolic state-space exploration
• Minimization Algorithm for Symbolic Bisimilarity

Cited in

(17)

• Equivalence checking 40 years after: a review of bisimulation tools
• Symbolic graphs: Linear solutions to connectivity related problems
• On divergence-sensitive weak probabilistic bisimilarity
• Minimal transition systems for history-preserving bisimulation
• Minimisation of spatial models using branching bisimilarity
• scientific article; zbMATH DE number 7455737 (Why is no real title available?)
• Efficient Coalgebraic Partition Refinement
• On-the-Fly Branching Bisimulation Minimization for Compositional Analysis
• Symbolic Branching Bisimulation-Checking of Dense-Time Systems in an Environment
• On symbolic OBDD-based algorithms for the minimum spanning tree problem
• Branching vs. Linear Time: Semantical Perspective
• Statistical model checking of stochastic component-based systems
• Partition refinement of component interaction automata
• Efficient and modular coalgebraic partition refinement
• Generating BDDs for symbolic model checking in CCS
• A parallel relation-based algorithm for symbolic bisimulation minimization
• Logical characterizations of simulation and bisimulation for fuzzy transition systems

Describes a project that uses

Uses Software

• fc2tools

This page was built for publication: Bisimulation minimization and symbolic model checking

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