|
||
---|---|---|
inria-00072284v1
Reports
ADHOCFS: A Serverless File System for Mobile Users [Research Report] RR-4303, INRIA. 2002 |
||
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-02895344v1
Conference papers
Computing maximally-permissive strategies in acyclic timed automata FORMATS 2020 - 18th International Conference on Formal Modeling and Analysis of Timed Systems, Sep 2020, Vienna, Austria. pp.1-33 ![]() |
||
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⟩ |
||
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⟩ |
||
inria-00072897v1
Reports
Towards Designing SVM Coherence Protocols Using High-level Specifications and Aspect-oriented Translations [Research Report] RR-3765, INRIA. 1999 |
||
inria-00072696v1
Reports
Formalization and Verification of Coherence Protocols with the Gamma Framework [Research Report] RR-3953, INRIA. 2000 |
||
hal-02894772v1
Conference papers
Incremental methods for checking real-time consistency FORMATS 2020 - 18th International Conference on Formal Modeling and Analysis of Timed Systems, Sep 2020, Vienne, Austria. pp.1-18 ![]() |
||
hal-03199464v1
Reports
Formal Analysis of Ladder Programs using Deductive Verification [Research Report] RR-9402, Inria. 2021, pp.25 |
||
hal-03281580v1
Conference papers
Automated Verification of Temporal Properties of Ladder Programs FMICS 2021 - Formal Methods for Industrial Critical Systems, Aug 2021, Paris, France. ⟨10.1007/978-3-030-85248-1_2⟩ |
||
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-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-01419860v1
Reports
Oracle-based Differential Operational Semantics (long version) [Research Report] Université Paris Diderot / Sorbonne Paris Cité. 2016 |
||
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 |
||
|