Invariant based programming: Basic approach and teaching experiences

DOI10.1007/S00165-008-0070-YMaRDI QIDQ1019025zbMATH OpenOpenAlexFDO

Authors Ralph-Johan Back

Publication date 27 May 2009

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00165-008-0070-y

zbMATH Keywords

program verification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 5728684
• Invariants and well-foundedness in program algebra

Cites work

• scientific article; zbMATH DE number 3574936 (Why is no real title available?)
• scientific article; zbMATH DE number 3614148 (Why is no real title available?)
• A constructive approach to the problem of program correctness
• Programming with Verification Conditions
• Statecharts: a visual formalism for complex systems

Cited in

(9)

• Provably correct derivation of algorithms using FermaT
• Reasoning about orchestrations of web services using partial correctness
• Invariant diagrams with data refinement
• Information Flow Control-by-Construction for an Object-Oriented Language
• Transformational programming and the derivation of algorithms
• Flexible Correct-by-Construction Programming
• A programming model for BSP with partitioned synchronisation
• Verification and code generation for invariant diagrams in Isabelle
• Traits: correctness-by-construction for free

Describes a project that uses

Uses Software

• PVS
• JML
• Spec#
• SIMPLIFY
• Python

This page was built for publication: Invariant based programming: Basic approach and teaching experiences

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