BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: S=oslash=gaard-Andersen:J=oslash=rgen_F=

Contributed to:

ICALP 19941994
CAV 19931993
CAV 19911991

Wrote 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.

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.