Modular product programs

DOI10.1007/978-3-319-89884-1_18zbMATH Open1418.68053OpenAlexW2995573473MaRDI QIDQ2323992FDOQ2323992

Authors: Yanyan Li 

Publication date: 13 September 2019

Full work available at URL: https://doi.org/10.1007/978-3-319-89884-1_18

Recommendations

• Modular product design and product support
• Requirements planning for modular products
• scientific article; zbMATH DE number 4056967
• Module sectional category of products
• Modularity
• scientific article; zbMATH DE number 3773723
• Publication:4934621

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (8)

• Product programs in the wild: retrofitting program verifiers to check information flow security
• Software Verification of Hyperproperties Beyond k-Safety
• Product Modularization Using Cuckoo Search Algorithm
• Product programs and relational program logics
• Decomposing data structure commutativity proofs with \(mn\)-differencing
• Beyond 2-safety: asymmetric product programs for relational program verification
• Generalized arrays for Stainless frames
• Certified verification of relational properties

This page was built for publication: Modular product programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2323992)