 |
 |
 |
|
|
||
|---|---|---|
| hal-00681781v1
Conference papers
Discharging Proof Obligations from Atelier B using Multiple Automated Provers ABZ - 3rd International Conference on Abstract State Machines, Alloy, B and Z, Jun 2012, Pisa, Italy |
||
| hal-00741134v1
Conference papers
Aligning SysML with the B Method to Provide V&V for Systems Engineering Model-Driven Engineering, Verification, and Validation 2012 (MoDeVVa 2012), Sep 2012, Innsbruck, Austria |
||
| hal-00941804v1
Conference papers
Enhancement of an optical burst switch with shared electronic buffers ONDM, 2013, Brest, France. pp.137-142 |
||
| hal-00998094v1
Conference papers
Le projet BWare : une plate-forme pour la vérification automatique d'obligations de preuve B Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2014, Paris, France |
||
| hal-00998092v1
Conference papers
The BWare Project: Building a Proof Platform for the Automated Verification of B Proof Obligations Abstract State Machines, Alloy, B, VDM, and Z, Jun 2014, Toulouse, France. pp.290-293 |
||
| hal-01238704v1
Conference papers
A Mechanically Checked Generation of Correlating Programs Directed by Structured Syntactic Differences Automated Technology for Verification and Analysis, Oct 2015, Shanghai, China. ⟨10.1007/978-3-319-24953-7_6⟩ |
||
| hal-01419860v1
Reports
Oracle-based Differential Operational Semantics (long version) [Research Report] Université Paris Diderot / Sorbonne Paris Cité. 2016 |
||
| hal-01615140v1
Conference papers
Compositional proofs in differential dynamic logic dL 17th International Conference on Application of Concurrency to System Design, Jun 2017, Zaragoza, Spain |
||
| hal-01653283v1
Conference papers
Verifiable Semantic Difference Languages International Symposium on Principles and Practice of Declarative Programming, Oct 2017, Namur, Belgium. ⟨10.1145/3131851.3131870⟩ |
||
| tel-01890508v1
Theses
Differential program semantics Programming Languages [cs.PL]. Université Paris Diderot, 2018. English |
||
| |
||
| |
||
| hal-03199464v1
Reports
Formal Analysis of Ladder Programs using Deductive Verification [Research Report] RR-9402, Inria. 2021, pp.25 |
||
| hal-03329311v1
Conference papers
A Mechanically Verified Theory of Contracts ICTAC 2021 - 18th International Colloquium on Theoretical Aspects of Computing, Sep 2021, Nur-Sultan, Kazakhstan. pp.134-151, ⟨10.1007/978-3-030-85315-0_9⟩ |
||
| hal-03626851v1
Conference papers
Trakt : Uniformiser les types pour automatiser les preuves (démonstration) JFLA 2022 - 33èmes Journées Francophones des Langages Applicatifs, Jun 2022, Saint-Médard-d'Excideuil, France. pp.261-263 |
||
|
|
||
