Proceedings First Symposium on Games, Automata, Logic, and Formal Verification

TL;DR

This symposium proceedings volume compiles research on the intersection of games, automata, logic, and formal verification, fostering interdisciplinary collaboration among computer scientists and logicians.

Contribution

It presents a diverse collection of recent research findings from a symposium focused on theoretical and applied aspects of formal methods and automata theory.

Findings

Advances in automata-based verification techniques

New logical frameworks for system specification

Applications of game theory in formal verification

Abstract

This volume contains the Proceedings of the first Symposium on "Games, Automata, Logic, and Formal Verification (GandALF)", held in Minori (Amalfi coast), Italy, 17-18 June 2010. The symposium has been promoted by a number of Italian computer scientists interested in game theory, mathematical logic, automata theory, and their applications to the specification, design, and verification of complex systems. It covers a large spectrum of research topics, ranging from theoretical aspects to concrete applications. Its aim is to provide a forum where people from different areas, and possibly with a different background, can successfully interact. The high-level international profile of the event is witnessed by the composition of the program committee and by the final program.