Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification

TL;DR

The proceedings of GandALF 2012 showcase recent research at the intersection of games, automata, logic, and formal verification, fostering international collaboration among researchers in these fields.

Contribution

This volume compiles diverse research contributions from the GandALF symposium, highlighting advances in formal methods and theoretical foundations for system verification.

Findings

Multiple novel algorithms for automata-based verification

New logical frameworks for system modeling

Enhanced techniques for formal system analysis

Abstract

This volume contains the proceedings of the Third International Symposium on Games, Automata, Logic and Formal Verification (GandALF), held in Naples (Italy) from September 6th to 8th, 2012. GandALF was founded by a number of Italian computer scientists interested in mathematical logic, automata theory, game theory, and their applications to the specification, design, and verification of complex systems. Its aim is to provide a forum where people from different areas, and possibly with different backgrounds, can fruitfully interact. Even though the idea of the symposium emerged within the Italian research community, the event has a truly international nature, as witnessed by the composition of the conference committees and the programme.