Formal Verification of Dynamic Properties in an Aerospace Application Simin Nadjm-TehraniJan-Erik Strömberg OriginalPaper Pages: 135 - 169
Model-Based Verification of a Security Protocol for Conditional Access to Services G. LeducO. BonaventureC. Pecheur OriginalPaper Pages: 171 - 191
A Mechanically Checked Proof of a Multiprocessor Result via a Uniprocessor View J Strother Moore OriginalPaper Pages: 213 - 228