An Iterative Framework for Simulation Conformance
DOI10.1093/logcom/exi028zbMath1105.68351OpenAlexW2024964825MaRDI QIDQ5696303
Helmut Veith, Sagar Chaki, Somesh Jha, Edmund M. Clarke
Publication date: 18 October 2005
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/5d3dc768847c57f04819da189e54d797e7baccff
Applications of game theory (91A80) Theory of programming languages (68N15) 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 (1)
Uses Software
This page was built for publication: An Iterative Framework for Simulation Conformance
