public marks

PUBLIC MARKS with tag formal-methods

January 2007

March 2006

AG RVS - The Why-Because Analysis Homepage

by GeorgesMariano
Why-Because Analysis (WBA) is a rigorous technique for causally analysing the behaviour of complex technical and socio-technical systems. Its primary application is in the analysis of accidents, mainly to transportation systems (air, rail and sea). It is

CS611: System Construction Using B

by GeorgesMariano
The aim of the course is to give a solid grounding in the B method using the B-Toolkit, concentrating on formal model building aspects, and giving exposure to the other elements of the theory, enabling students to go on to participate in the rigorous buil

February 2006

Enseignements Méthodes formelles - Attiogbe Christian

by GeorgesMariano
Méthodes et spécifications formelles Intégration de méthodes formelles Cours et documents J-C.Attiogbé - UFR Sciences Nantes

January 2006

The Compcert certified compiler back-end

by GeorgesMariano
The Compcert back-end is a compiler that generates PowerPC assembly code from a low-level intermediate language called Cminor and a slightly more expressive intermediate language called Csharpminor. The particularity of this compiler is that it is written

PUBLIC TAGS related to tag formal-methods

2006 +   Abrial +   ACI +   AFADL +   automatic +   Bmethod +   cnam +   compiler +   Coq +   cs +   csp +   ctl +   cursus + +   Eiffel +   faq +   latex +   meyer +   model-checking +   modelchecking +   Morgan +   network +   OCaml +   PERSEE +   projet +   protocols +   railway +   research +   science +   semantics +   smv +   theory +   tocheck +   tools +   toread +   tutorials +   verification +  

Active users

last mark : 10/01/2007 12:59

last mark : 29/03/2006 11:07