Replication and Abstraction: Symmetry in Automated Formal VerificationReportar como inadecuado




Replication and Abstraction: Symmetry in Automated Formal Verification - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford OX1 3QD, UK





*

Author to whom correspondence should be addressed.



Abstract This article surveys fundamental and applied aspects of symmetry in system models, and of symmetry reduction methods used to counter state explosion in model checking, an automated formal verification technique. While covering the research field broadly, we particularly emphasize recent progress in applying the technique to realistic systems, including tools that promise to elevate the scope of symmetry reduction to large-scale program verification. The article targets researchers and engineers interested in formal verification of concurrent systems.

Keywords: model checking; state explosion; replication; abstraction; symmetry model checking; state explosion; replication; abstraction; symmetry





Autor: Thomas Wahl * and Alastair Donaldson

Fuente: http://mdpi.com/



DESCARGAR PDF




Documentos relacionados