4 Ergebnisse.

This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the original artifact, and remains as true to the original work as possible. Therefore, you will see the original copyright references, library stamps (as most of these works have been housed in our most important libraries around the world), and other notations in the work. This ...

Keine Beschreibung.

Excerpt from A Transformational Approach to the Development and Verification of Programs in a Very High Level LanguageIn informal exposition, the Correctness of a complex algorithm is often demonstrated by deriving it through successive refinement steps from a high level specification, and supplying proofs of the underlying principles used in the process. However, most existing mechanical program verifiers ignore this standard expository pract...

Excerpt from A Transformational Approach to the Development and Verification of Programs in a Very High Level LanguageIn informal exposition, the Correctness of a complex algorithm is often demonstrated by deriving it through successive refinement steps from a high level specification, and supplying proofs of the underlying principles used in the process. However, most existing mechanical program verifiers ignore this standard expository pract...