Discover how SPARK’s new functional containers library enhances the specification and verification of complex programs. This technical paper, published in the International Journal on Software Tools for Technology Transfer, explores practical approaches to expressing high-level properties, modelling data structures, and improving software assurance in safety- and mission-critical systems.
Containers for specification in SPARK
Read the Paper