Fondazione Bruno Kessler

FBK researchers participating in the project are well-recognized experts in the field of formal methods, formal verification, safety analysis, and have a strong expertise in participation to EU projects and in technology transfers projects with major companies and industrial agencies, especially in the area of the design of safety-critical systems in domains such as railway, avionics and space.

Short name: FBK
Country: IT

FBK researchers participating in the project are well-recognized experts in the field of formal methods, formal verification, safety analysis, and have a strong expertise in participation to EU projects and in technology transfers projects with major companies and industrial agencies, especially in the area of the design of safety-critical systems in domains such as railway, avionics and space.