Academic Journal
View in EDS

Deductively verifying functional scalable parallel programs with Why3

Bibliographic Details
Title: Deductively verifying functional scalable parallel programs with Why3
Authors: Loulergue, FrédéricAff1, IDs1027002501340y_cor1, Proust, OliviaAff1
Source: Software and Systems Modeling. 25(4):1033-1057
Database: Springer Nature Journals
Description
ISSN:16191366
16191374
DOI:10.1007/s10270-025-01340-y