LAFM

Publications

volume 139, 2014

Proceedings First Latin American Workshop on Formal Methods, LAFM 2013, Buenos Aires, Argentina, August 26th 2013. LAFM 139 (2014)

2013

Pablo F. Castro, T. S. E. Maibaum
Automated Reasoning over Deontic Action Logics with Finite Vocabularies. LAFM (2013)
Valentin Cassano, T. S. E. Maibaum
Actions and Events in Concurrent Systems Design. LAFM (2013)
Valério Medeiros Júnior, David Déharbe
BEval: A Plug-in to Extend Atelier B with Current Verification Technologies. LAFM (2013)
Rodrigo Castaño, Juan Pablo Galeotti, Diego Garbervetsky, Jonathan Tapicer, Edgardo Zoppi
On Verifying Resource Contracts using Code Contracts. LAFM (2013)
Manuel Giménez, Mariano M. Moscato, Carlos Gustavo López Pombo, Marcelo F. Frias
HeteroGenius: A Framework for Hybrid Analysis of Heterogeneous Software Specifications. LAFM (2013)
Gastón Scilingo, María Marta Novaira, Renzo Degiovanni
Analyzing Behavioural Scenarios over Tabular Specifications Using Model Checking. LAFM (2013)
Pablo Bendersky, Juan Pablo Galeotti, Diego Garbervetsky
The DynAlloy Visualizer. LAFM (2013)
Germán Regis, Fernando Villar, Nicolás Ricci
Fluent Logic Workflow Analyser: A Tool for The Verification of Workflow Properties. LAFM (2013)