Volume 14, Issue 2 | Formal Methods in System Design

Search all Formal Methods in System Design articles

Volume 14, Issue 2

March 1999

Filter by

Volume:

Sort by

Date published:

New to old Old to new

4 articles in this issue

Formal Verification of Dynamic Properties in an Aerospace Application
Simin Nadjm-Tehrani
Jan-Erik Strömberg
OriginalPaper Pages: 135 - 169
Model-Based Verification of a Security Protocol for Conditional Access to Services
G. Leduc
O. Bonaventure
C. Pecheur
OriginalPaper Pages: 171 - 191
Validation of HOL Proofs by Proof Checking
Wai Wong
OriginalPaper Pages: 193 - 212
A Mechanically Checked Proof of a Multiprocessor Result via a Uniprocessor View
J Strother Moore
OriginalPaper Pages: 213 - 228