Volume 34, Issue 1

February 2009

Interactive theorem proving and verification

5 articles in this issue

Proof assistants: History, ideas and future
H. Geuvers
OriginalPaper 16 July 2009 Pages: 3 - 25
Operating system verification—An overview
Gerwin Klein
OriginalPaper 16 July 2009 Pages: 27 - 69
A compact kernel for the calculus of inductive constructions
A. Asperti
W. Ricciotti
E. Tassi
OriginalPaper 16 July 2009 Pages: 71 - 144
Proving the correctness of client/server software
Eyad Alkassar
Sebastian Bogan
Wolfgang J. Paul
OriginalPaper 16 July 2009 Pages: 145 - 191
Formalizing Arrow’s theorem
Freek Wiedijk
OriginalPaper 16 July 2009 Pages: 193 - 220

Search