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.
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:
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.
Last updated: June 5th, 2010.