An efficient simulation algorithm on Kripke structures

DOI10.1007/978-3-642-40313-2_66zbMath1301.68189arXiv1212.1089OpenAlexW2003029339MaRDI QIDQ2453984

Francesco Ranzato

Publication date: 12 June 2014

Published in: Acta Informatica, Mathematical Foundations of Computer Science 2013 (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1212.1089

zbMATH Keywords

Kripke structuressimulation algorithmsimulation preorder

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Nonnumerical algorithms (68W05) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (3)

A space-efficient simulation algorithm on probabilistic automata ⋮ An efficient simulation algorithm on Kripke structures ⋮ An axiomatic semantics for \(\mathsf{ioco} \underline{\mathsf{s}}\) conformance relation

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Bisimulation minimization and symbolic model checking
• An efficient simulation algorithm based on abstract interpretation
• From bisimulation to simulation: Coarsest partition problems
• Transformational design and implementation of a new efficient solution to the ready simulation problem
• An efficient simulation algorithm on Kripke structures
• Saving Space in a Time Efficient Simulation Algorithm
• Incremental graph pattern matching
• Rank and simulation: the well-founded case
• Correcting a Space-Efficient Simulation Algorithm
• Simulation-based minimization
• Computing Simulations over Tree Automata

This page was built for publication: An efficient simulation algorithm on Kripke structures