Formal Methods for Systems and Software Design Unit

The Formal Methods for Systems and Software Design (or simply FM) unit is part of the Digital Industry (DI) center at Fondazione Bruno Kessler (FBK). The activities of the FM unit focus on the research of novel and efficient formal methods for the verification, validation, and safety assurance of systems and software in various application domains including space, avionics, automotive, railways, energy, semiconductors, and manufacturing.