A theory of normed simulations

DOI10.1145/1024922.1024923zbMath1367.68192OpenAlexW2105564020MaRDI QIDQ5277709

David Griffioen, Frits W. Vaandrager

Publication date: 12 July 2017

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/2066/60590

zbMATH Keywords

automatacomputer-aided verificationhistory variablesprophecy variablesbackward simulationsforward simulationsnormed simulationsrefinement mappings

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (4)

On the Minimisation of Acyclic Models ⋮ Compositional Abstraction in Real-Time Model Checking ⋮ Simulation refinement for concurrency verification ⋮ Completeness of fair ASM refinement

This page was built for publication: A theory of normed simulations