Travelled to:1 × Denmark
1 × Greece
1 × Israel
Collaborated with:W.R.Bevier N.A.Lynch R.Gawlick R.Segala S.J.Garland J.V.Guttag A.Pogosyants
Talks about:proof (2) system (1) specif (1) mechan (1) kernel (1) comput (1) assist (1) untim (1) simul (1) check (1)
Person: Jørgen F. Søgaard-Andersen
DBLP: S=oslash=gaard-Andersen:J=oslash=rgen_F=
Contributed to:
1994
19931991Wrote 3 papers:
- ICALP-1994-GawlickSSL #liveness
- Liveness in Timed and Untimed Systems (RG, RS, JFSA, NAL), pp. 166–177.
- CAV-1993-Sogaard-AndersenGGLP #proving #simulation
- Computer-Assisted Simulation Proofs (JFSA, SJG, JVG, NAL, AP), pp. 305–319.
- CAV-1991-BevierS #kernel #proving #specification
- Mechanically Checked Proofs of Kernel Specification (WRB, JFSA), pp. 70–82.