Loading...
 
[Show/Hide Left Column]

Formal Methods Forum

DigiCosme, more particularly the Axis SciLex (Software Reliability and Security) of the Labex is concerned with the exchange of "good practices" with manufacturers.

Our partnership at the Forum des méthodes formelles held in Toulouse at LAAS-CNRS on the initiative of the DAS SE2L, the Aerospace-valley, MINALOGIC, Systematic and STAE Toulouse competitiveness clusters, shows our desire to be an actor of increased confidence in software and critical systems development.

Participants are academics and users with experience in these methods in an industrial context.
Contact :

Image Formal methods and autonomous car
Date : Tuesday, october 10, 2017
Attendees at Saclay area : 34
Place : CEA NANO-INNOV - 8 Avenue de la Vauve - 91120 Palaiseau
Programme
Article


Image Formal methods and cybersecurity
Date : Tuesday, january 31, 2017
Attendees at Saclay area : 26
Place : CEA NANO-INNOV - 8 Avenue de la Vauve - 91120 Palaiseau
Programme
Article


Image Formal methods and safety analysis
Date : Tuesday, january 26, 2016
Attendees at Saclay area : 26
Place : CEA NANO-INNOV - 8 Avenue de la Vauve - 91120 Palaiseau
Program


Image Formal methods and tests
Date : Tuesday, june 16, 2015
Attendees at Orsay area : 95
Place : Université Paris Sud, Building 650 - Ada Lovelace, room 435 - 91400 Orsay
Programme
Article


Image Le Model-Checking in action
Date : Tuesday, october 16, 2014
Attendees at Orsay area : 78
Place : Université Paris Sud, Building 650 - Ada Lovelace, room 435 - 91400 Orsay
Programme
Article