scientific article; zbMATH DE number 1031980

MaRDI QIDQ4343983zbMATH OpenFDO

Authors

Publication date 6 July 1997

zbMATH Keywords

ADASPARK

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• Building high integrity applications with SPARK
• scientific article; zbMATH DE number 2011463
• An integrated approach to high integrity software verification
• A bounded model checker for SPARK programs

Cited in

(11)

• Real-time properties of indirect recursive procedures
• Verifying Whiley programs with Boogie
• Refinement calculus: A basis for translation validation, debugging and certification
• A theory for execution-time derivation in real-time programs
• scientific article; zbMATH DE number 1706226 (Why is no real title available?)
• Building high integrity applications with SPARK
• scientific article; zbMATH DE number 2088930 (Why is no real title available?)
• scientific article; zbMATH DE number 2011463 (Why is no real title available?)
• Mechanical inference of invariants for FOR-loops
• An integrated approach to high integrity software verification
• An engineering process for the verification of real-time systems

This page was built for publication:

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