
Home

Research

Papers

Future Events

Workshops

Invited presentations

Program committees

Contact me

|
|
www.havelund.com
Klaus Havelund
JPL Principal
Appointed Caltech Lecturer in Computer Science
Laboratory for Reliable Software
LARS
Jet Propulsion Labratory JPL
California Institute of Technology Caltech
National Aeronautics and Space Administration NASA
My CV.
Events, Things of Interest
SPIN 2008
The 15th International SPIN Workshop on Model Checking Software.
University of California - Los Angeles, August 10-12, 2008.
Register for participation!
New book:
Logics of Specification Languages
A comprehensive text on nine mathematical specification languages
(ASM, B, CASL, CafeOBJ, DC, RAISE (RSL), TLA+, VDM, Z)
Monographs in Theoretical Computer Science. An EATCS Series, 2007
Bjorner, Dines; Henson, Martin C. (Editors)
624 p., Hardcover
Class
CS119 Part II : Program Monitoring
Class given at California Institute of Technology, from April 28 - May 29, 2008.
JPL on wikipedia
Caltech on wikipedia
Caltech's Computer Science department
Free website templates
|
|