An efficient simulation algorithm on Kripke structures

DOI10.1007/S00236-014-0195-9MaRDI QIDQ6828618zbMATH OpenFDO

Authors Francesco Ranzato

Publication date 12 June 2014

Published in Acta Informatica (Search for Journal in Brave)

zbMATH Keywords

simulation algorithmsimulation preorderKripke structures

Mathematics Subject Classification ID

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)

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

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