Modular product programs

DOI10.1007/978-3-319-89884-1_18MaRDI QIDQ2323992zbMATH OpenOpenAlexFDO

Authors Yanyan Li

Publication date 13 September 2019

Copyright license Creative Commons Attribution 4.0 International

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

Mathematics Subject Classification ID

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

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

Cited in

(8)

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