MPG.eBooks - Search Results

1

Published 1992

Springer Berlin Heidelberg

Table of Contents: “... Theoryof Program Composition -- Lectures on Data Refinement -- Refinement Alerebra Proves Correctness...”

2

Published 2005

Springer Netherlands

Table of Contents: “... and Theorem Proving -- Formalizing Counterexample-Driven Refinement with Weakest Preconditions -- A...”

3

Published 1986

Springer Berlin Heidelberg

Table of Contents: “.... Design and Verification of Distributed Systems -- Proving Correctness of CSP Programs, a Tutorial -- Real...”

4

Published 2021

Springer International Publishing

Table of Contents: “...-Driven Learning and Adaption -- 16. Compositional Verification using Model Checking andTheorem Proving...”

5

Published 1989

Springer Berlin Heidelberg

“..., the theory of evidence, theorem provers for proving properties of functional programs to category theory...”