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

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

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)

Cited In (17)

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

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)