The Software Technologies Laboratory (STLab) is a laboratory in the Department of Systems and Informatics of the University of Florence. STLab research activity mainly focuses in the following areas:
- formal methods for the development, verification and validation of concurrent timed systems;
- architectures and methodologies of Software Engineering;
Address
Dipartimento di Sistemi e Informatica
Università degli Studi di Firenze, Italy
Via di Santa Marta 3
50145 Firenze (Italy)
Telephone
+39 055 4796463
+39 055 4796365