Automated deduction and proof certification for the B method
La Méthode B est une méthode formelle de spécification et de développement de logiciels critiques largement utilisée dans l'industrie ferroviaire. Elle permet le développement de programmes dit corrects par construction, grâce à une procédure de raffinements successifs d'une spécification...
Main Author: | Halmagrand, Pierre |
---|---|
Other Authors: | Paris, CNAM |
Language: | en |
Published: |
2016
|
Subjects: | |
Online Access: | http://www.theses.fr/2016CNAM1064/document |
Similar Items
-
Preuves par induction dans le calcul des séquents modulo
by: Nahon, Fabrice
Published: (2007) -
The Relative Effectiveness of the Inductive-Deductive and the Deductive-Descriptive Methods in the Teaching of College Zoology
by: Craik, Eva Lee, 1919-
Published: (1966) -
Proving Properties of Discrete-Valued Functions Using Deductive Proof: Application to the Square Root
by: Vassil Todorov, et al.
Published: (2019-12-01) -
Hybrid Deduction–Refutation Systems
by: Valentin Goranko
Published: (2019-10-01) -
Tâches de raisonnement en logiques hybrides
by: Hoffmann, Guillaume
Published: (2010)