Saving Space in a Time Efficient Simulation Algorithm
From MaRDI portal
Publication:2895774
DOI10.3233/FI-2011-412zbMath1255.68100MaRDI QIDQ2895774
Francesco Tapparo, Silvia Crafa, Francesco Ranzato
Publication date: 4 July 2012
Published in: Fundamenta Informaticae (Search for Journal in Brave)
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 (2)
An efficient simulation algorithm on Kripke structures ⋮ Calculational design of a regular model checker by abstract interpretation
Uses Software
This page was built for publication: Saving Space in a Time Efficient Simulation Algorithm
