26 citations
- Consejo Nacional de Investigaciones Científicas y TécnicasAR21 papers
- Universidad Nacional de CórdobaAR15 papers
- Austral UniversityAR3 papers
- Instituto de Astronomía Teórica y ExperimentalAR2 papers
- Universidade Federal de AlagoasBR2 papers
- University of BelgranoAR2 papers
- University of ChileCL2 papers
- Centre National de la Recherche ScientifiqueFR1 paper
- Guangdong Technion-Israel Institute of TechnologyCN1 paper
- IMDEA Software InstituteES1 paper
- Institut Élie Cartan de LorraineFR1 paper
- Instituto de Física de Buenos AiresAR1 paper
6 papers · 1 filter
Automated Repair of Unrealisable LTL Specifications Guided by Model Counting
Matías Brizzio, Maxime Cordy, Mike Papadakis +3
The reactive synthesis problem consists of automatically producing correct-by-construction operational models of systems from high-level formal specifications of their behaviours.…
FLACK: Counterexample-Guided Fault Localization for Alloy Models
Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida +4
Fault localization is a practical research topic that helps developers identify code locations that might cause bugs in a program. Most existing fault localization techniques are d…
Analyzing Behavioural Scenarios over Tabular Specifications Using Model Checking
Gastón Scilingo, María Marta Novaira, Renzo Degiovanni
Tabular notations, in particular SCR specifications, have proved to be a useful means for formally describing complex requirements. The SCR method offers a powerful family of analy…
Fluent Logic Workflow Analyser: A Tool for The Verification of Workflow Properties
Germán Regis, Fernando Villar, Nicolás Ricci
In this paper we present the design and implementation, as well as a use case, of a tool for workflow analysis. The tool provides an assistant for the specification of properties o…
Proceedings First Latin American Workshop on Formal Methods
Nazareno Aguirre, Leila Ribeiro
Formal approaches to software development are techniques that aim at developing quality software by employing notations, analysis processes, etc., based on mathematical grounds. Al…
Specification of Products and Product Lines
Ariel Gonzalez, Carlos Luna
The study of variability in software development has become increasingly important in recent years. A common mechanism to represent the variability in a product line is by means of…