Claude Marché
4
Documents
Affiliations actuelles
Publications
- 4
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
|
Automated Formal Analysis of Temporal Properties of Ladder ProgramsInternational Journal on Software Tools for Technology Transfer, 2022, 24 (6), pp.977-997. ⟨10.1007/s10009-022-00680-0⟩
Article dans une revue
hal-03737869v1
|
|
The BWare Project: Building a Proof Platform for the Automated Verification of B Proof ObligationsAbstract State Machines, Alloy, B, VDM, and Z, Jun 2014, Toulouse, France. pp.290-293
Communication dans un congrès
hal-00998092v1
|
|
Le projet BWare : une plate-forme pour la vérification automatique d'obligations de preuve BApproches Formelles dans l'Assistance au Développement de Logiciels, Jun 2014, Paris, France
Communication dans un congrès
hal-00998094v1
|
|
Discharging Proof Obligations from Atelier B using Multiple Automated ProversABZ - 3rd International Conference on Abstract State Machines, Alloy, B and Z, Jun 2012, Pisa, Italy
Communication dans un congrès
hal-00681781v1
|