Searching for authors named "Reynald Affeldt" – sorted by Relevance.
8 documents found, showing 1 through 8.
-
Partial order reduction for verification of spatial properties of pi-calculus processes
- …Partial Order Reduction for Verification of Spatial Properties of Pi-calculus Processes ∗ Reynald…
- Add To MetaCart
-
A Coq Library for Verification of Concurrent Programs
- …LFM 2004 Preliminary Version A Coq Library for Verification of Concurrent Programs Reynald Affeldt…
- Cited by 1 (1 self) – Add To MetaCart
-
Formalization and Verification of a Mail Server in Coq
- …Formalization and Verification of a Mail Server in Coq Reynald Affeldt 1 and Naoki Kobayashi 2 1…
- Cited by 2 (1 self) – Add To MetaCart
-
Model-checking of a Multi-threaded Operating System ∗
- …Model-checking of a Multi-threaded Operating System ∗ Nicolas Marti † Reynald Affeldt ‡ Akinori…
- Add To MetaCart
-
Towards formal verification of memory properties using separation logic
- …Towards Formal Verification of Memory Properties using Separation logic Nicolas Marti † Reynald…
- Cited by 3 (0 self) – Add To MetaCart
-
Formal proof of provable security by game-playing in a proof assistant
- …Formal Proof of Provable Security by Game-playing in a Proof Assistant ⋆ Reynald Affeldt 1 , Miki…
- Cited by 1 (0 self) – Add To MetaCart
-
Supporting objects in runtime bytecode specialization. Aizu
- …Supporting Objects in Run-Time Bytecode Specialization Reynald Affeldt† Hidehiko Masuhara‡ Eijiro…
- Cited by 3 (0 self) – Add To MetaCart
-
Supporting Objects in Run-Time Bytecode
- …Supporting Objects in Run-Time Bytecode Specialization Reynald Affeldt† Hidehiko Masuhara‡ Eijiro…
- Add To MetaCart
Showing 1 through 8.
