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, In press
Article dans une revue
hal-05342070
v1
|
|
|
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⟩
Communication dans un congrès
hal-04173428
v2
|
Chargement...
Chargement...