An Iterative Framework for Simulation Conformance

DOI10.1093/logcom/exi028zbMath1105.68351MaRDI 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

zbMATH Keywords

MAGIC; software verification

Mathematics Subject Classification ID

91A80: Applications of game theory

68N15: Theory of programming languages

68Q60: Specification and verification (program logics, model checking, etc.)

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

Related Items

MAGIC

Uses Software

• OpenSSL