Modular product programs
From MaRDI portal
Publication:2323992
DOI10.1007/978-3-319-89884-1_18zbMath1418.68053OpenAlexW2995573473MaRDI QIDQ2323992
Publication date: 13 September 2019
Full work available at URL: https://doi.org/10.1007/978-3-319-89884-1_18
Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (4)
Product programs in the wild: retrofitting program verifiers to check information flow security ⋮ Generalized arrays for Stainless frames ⋮ Certified verification of relational properties ⋮ Decomposing data structure commutativity proofs with \(mn\)-differencing
This page was built for publication: Modular product programs
