AFM 10: July 14

5th Automated Formal Methods Workshop

associated with CAV


AFM is a one-day workshop centered around the use and integration of formal verification tools for specification, interactive theorem proving, satisfiability (SAT) and satisfiability modulo theories (SMT), model checking, program verification, code generation, and testing, as well as interfaces, documentation, and education. This workshop was first initiated as a users' group meeting for the SRI formal verification tools such as PVS, SAL, and Yices, but the topics are not restricted to these tools. The first workshop was held at FLoC'06, the second workshop with ASE'07, and the third and forth workshops took place respectively in conjunction with CAV'08 and CAV'09.

More information can be found here.

Program Chairs

Hassen Saidi, SRI International, United States

Program Committee:

Leonardo de Moura, Microsoft Research, United States
bruno dutertre, SRI international, United States
Bernd Finkbeiner, Saarland University, Germany
Mike Gordon, University of Cambridge, United Kingdom
Paul Jackson, School of Informatics, University of Edinburgh, United Kingdom
Cesar Munoz, National Aeronautics and Space Administration, United States