Applied Formal Methods Laboratory

The Applied Formal Methods Laboratory (AFMLab) is a research group mainly based at the University of Parma, Italy, but open to the participation of researchers and collaborators from everywhere. The group's interests concern the application of formal methods to the analysis, synthesis, validation, verification and certification of software and hardware systems. The main site for the group is the Department of Mathematics and Computer Science of the University of Parma.

Research, Publications and Software Projects

A distinctive characteristic of AFMLab's activity is the union between scrupulous research on the theoretical foundations, solid experimental evaluation by means of non-toy software artifacts, total adherence to the best available practices in software development. For a list of publications, see the dblp links near the names of the group members. AFMLab's software projects include:

An industrial-strength platform for the verification of C/C++ programs.
The Parma Polyhedra Library
A library of numerical abstractions, especially targeted at applications in the field of analysis and verification of complex systems.
PURRS (the Parma University's Recurrence Relation Solver)
A C++ library for the (possibly approximate) solution of recurrence relations. It can solve several types of relatios and a web demo is available.
A Data-Flow Analyzer for CLP Languages.


Current members:

Former members:

Former and present collaborators:


The AFMLab participates to FMICS, the ERCIM Working Group on Formal Methods for Industrial Critical Systems.

The AFMLab participates to Automotive SPIN Italia, a Software Process Improvement Network focused on the automotive sector.

Fun and Getting Together

The AFMLab people regularly organizes meetings and fun events. Here are the pictures.

Last updated: June 5th, 2010.