BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
system (6)
verifi (3)
correct (2)
verif (2)
specifi (1)

Stem kiv$ (all stems)

7 papers:

FMFM-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.
FASEFASE-2000-BalserRSST #development
Formal System Development with KIV (MB, WR, GS, KS, AT), pp. 363–366.
KIV 3.0 for Provably Correct Systems (MB, WR, GS, KS), pp. 330–337.
ASEASE-1997-FenselS #architecture #knowledge-based #using #verification
Using KIV to Specify and Verify Architectures of Knowledge-Based Systems (DF, AS), p. 71–?.
CADECADE-1997-ReifSS #correctness #proving
Proving System Correctness with KIV 3.0 (WR, GS, KS), pp. 69–72.
The KIV System: Systematic Construction of Verified Software (WR), pp. 753–757.
CADECADE-1988-HeiselRS #implementation #verification
Implementing Verification Strategies in the KIV-System (MH, WR, WS), pp. 131–140.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.