Transformational Heuristics for Animation - Towards Stepwise Validation of SpecicationsReportar como inadecuado




Transformational Heuristics for Animation - Towards Stepwise Validation of Specications - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

1 DEDALE - Development of specifications LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications

Abstract : In formal methods, a key idea to assess that an implementation is correct is to break its verification into smaller proofs associated with each refinement step. Likewise, the technique of animation could be used during refinement process to break its validation into smaller assessments. Animating an abstract specification often requires to alter it in order to make it animatable. So we design a set of heuristics whose application transforms non-animatable specifications into animatable specifications and then based on these transformational heuristics, we develop a rigorous validation framework for stepwise validation of formal specifications.





Autor: Atif Mashkoor - Jean-Pierre Jacquot -

Fuente: https://hal.archives-ouvertes.fr/



DESCARGAR PDF




Documentos relacionados