CAETI
Centro de Altos Estudios en Tecnología Informática
Buenos Aires
Ingeniería de Software
Framework para el Desarrollo de Software mediante Modularización Avanzada
Expressing early behavior specifications with branching visual scenarios
Año: 2018
Idioma: Inglés
Resumen
Branching logics enable the software engineer to express interesting type of properties and feature more efficient algorithms for model checking than linear logics. In this work we present an extension of the FVS language (based on a linear representation of systems' execution) in order to contemplate branching properties. The formal semantics of this extension, named Branching FVS, is also introduced in this work. As a case of study we model the behavior of a FLASH memory test chip, a classical hardware verification example. This is a particular domain where branching logics are heavily used to specify the expected behavior of systems.
Integrantes
Fernando Asteasuain (Autor)
Federico Calonge (Autor)
Federico D’Angiolo (Autor)
Federico Díaz (Autor)
Pablo Daniel Gamboa (Autor)
Archivos
-
Fernando Asteasuain, Federico Calonge, Federico D´Angiolo, Federico Díaz, Pablo Gamboa (2018). “Expressing Early Behavior Specifications with Branching Visual Scenarios”. 6º Congreso Nacional de Ingeniería Informática – Sistemas de Información CoNaIISI 2018. Universidad CAECE. Mar del Plata, Buenos Aires, Argentina. 29 y 30 de noviembre de 2018.
22- Asteasuain - BranchingFVS - CoNaIISI 2018.pdf