Research Concept

Formal methods

mathematical program specification intended to allow correctness proofs, including algorithmically