[isabelle] now online: JAR special issue on OS Verification

We are pleased to announce that the JAR special issue on OS Verification
has now appeared on SpringerLink:


The special issue contains seven articles on theorem proving, model
checking, and static analysis from the leading research groups in OS verification. The articles range from formal modelling of C code and virtual memory, over specific OS formalisations to formal models for low-level concurrency and model checking techniques in the OS verification area.

Gerwin Klein
Bastian Schlich
Ralf Huuck

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.