Browsing Fakultät für Ingenieurwissenschaften, Informatik und Psychologie by Person "Balser, Michael"

Now showing items 1-6 of 6

Formal System Development with KIV

Balser, Michael et al. (2000)

Beitrag zu einer Konferenz
KIV 3.0 for Provably Correct Systems

Balser, Michael et al. (1999)

Beitrag zu einer Konferenz
Structured Formal Development in VSE II: The Robertino Case Study

Rock, G. et al. (1999)

Beitrag zu einer Konferenz
Structured specifications and interactive proofs with KIV

Reif, Wolfgang et al. (1998)

Teil eines Buches
Verifying concurrent sytems with symbolic execution

Balser, Michael et al. (2002)

Beitrag zu einer Konferenz
VSE: Controlling the Complexity in Formal Software Developments

Hutter, D. et al. (1999)

Beitrag zu einer Konferenz