Penelope: An Ada Verification Environment, Penelope User Guide: Larch/ Ada Reference Manual. Volume 5A
Carla Marceau · 1991
This reference manual describes the specification language for the Penelope verification environment. It provides a brief, informal account of the syntax and semantics of Penelope annotations. Ada, Larch, Larch/Ada, Formal Methods, Formal Specification, Program Verification, Predicate Transformers, Ada Verification