Deductively verifying functional scalable parallel programs with Why3

Software & Systems Modeling 2026 Open access

Read full text

Authors: Frédéric Loulergue, Olivia Proust

DOI: 10.1007/s10270-025-01340-y

Cited by: 0

References: 55

Fields of Study & Subjects

Logic programming and type systems Distributed systems and fault tolerance Parallel Computing and Optimization Techniques

References 55