7 papers:
FM-2008-GrandyBSSR #protocol #security #verification- Verification of Mondex Electronic Purses with KIV: From a Security Protocol to Verified Code (HG, MB, KS, GS, WR), pp. 165–180.
FASE-2000-BalserRSST #development- Formal System Development with KIV (MB, WR, GS, KS, AT), pp. 363–366.
- FM-1998-BalserRSS
- KIV 3.0 for Provably Correct Systems (MB, WR, GS, KS), pp. 330–337.
ASE-1997-FenselS #architecture #knowledge-based #using #verification- Using KIV to Specify and Verify Architectures of Knowledge-Based Systems (DF, AS), p. 71–?.
CADE-1997-ReifSS #correctness #proving- Proving System Correctness with KIV 3.0 (WR, GS, KS), pp. 69–72.
- CADE-1992-Reif
- The KIV System: Systematic Construction of Verified Software (WR), pp. 753–757.
- CADE-1988-HeiselRS #implementation #verification
- Implementing Verification Strategies in the KIV-System (MH, WR, WS), pp. 131–140.
