Bosch-FBK Collaboration
A joint scientific study, funded by Bosch, will investigate the application of safety contracts and safety assessment techniques based on formal methods to the design process of Bosch with the goal of demonstrating their usefulness and suitability in the automotive domain.
General Info
Start Date: 15 Jul 2019
End Date: 31 Dec 2024
Partners
- Bosch
Contacts
Stefano Tonetta <>
Marco Bozzano <>
-
PhD Grant on Model-based system-software engineering and formal methods for space systems
-
PhD positions in collaboration with the University of Trento on formal-methods-related topics
-
VAIPOSA Kick Off Meeting
-
New Software Developer Position in the Field of Formal Methods
-
Distinguished artifact award at TACAS conference