The KIV-Approach to Software Verification

  title={The KIV-Approach to Software Verification},
  author={Wolfgang Reif},
  booktitle={KORSO Book},
This paper presents a particular approach to the design and veriication of large sequential systems. It is based on structured algebraic speciications and stepwise reenement by program modules. The approach is implemented in Kiv (Karlsruhe Interactive Veriier), and supports the entire design process starting from formal speciications and ending with veriied code. Its main characteristics are a strict de-compositional design discipline for modular systems, a powerful proof component, and an… CONTINUE READING

From This Paper

Topics from this paper.


Publications referenced by this paper.
Showing 1-2 of 2 references

First-Order Dynamic Logic

Lecture Notes in Computer Science • 1979

Similar Papers

Loading similar papers…