Olivia PROUST
3
Documents
Affiliations actuelles
- Software Stack for Massively Geo-Distributed Infrastructures (STACK)
- Département Automatique, Productique et Informatique (IMT Atlantique - DAPI)
Identifiants chercheurs
Domaines de recherche
Informatique [cs]
Théorie et langage formel [cs.FL]
Publications
Publications
|
|
Deductively Verifying Functional Scalable Parallel Programs with Why3Software and Systems Modeling, 2026, ⟨10.1007/s10270-025-01340-y⟩ |
|
|
Verified Scalable Parallel Computing with Why321st International Conference on Software Engineering and Formal Methods (SEFM), Nov 2023, Eindhoven, Netherlands. ⟨10.1007/978-3-031-47115-5_14⟩ |
Chargement...
Chargement...