Olivia PROUST

Identifiants chercheurs

IdHAL :

olivia-proust

ORCID :

0009-0007-7154-5365

Publications

Article dans une revue (1)

Deductively Verifying Functional Scalable Parallel Programs with Why3 Frédéric Loulergue,Olivia Proust Software and Systems Modeling, 2026, ⟨10.1007/s10270-025-01340-y⟩ Article dans une revue hal-05342070v1

Logiciel (1)

WhyBSML 0.2 Frédéric Loulergue,Olivia Proust 2024, ⟨swh:1:dir:f3889ab751233d7ccb812d6e31cc074452b5e139;origin=https://hal.archives-ouvertes.fr/hal-04556201;visit=swh:1:snp:eb9686bbb19def3cd7e40be139923aa5270faed8;anchor=swh:1:rel:0040e1fae30354391bea7e4b4fc245556353fd87;path=/⟩ Logiciel hal-04556201v2

Communication dans un congrès (1)

Verified Scalable Parallel Computing with Why3 Olivia Proust,Frédéric Loulergue 21st 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-04173428v2