Journal: Formal Methods in System Design

Volume 14, Issue 2

135 -- 169Simin Nadjm-Tehrani, Jan-Erik Strömberg. Formal Verification of Dynamic Properties in an Aerospace Application
171 -- 191Guy Leduc, Olivier Bonaventure, Luc Léonard, E. Koerner, Charles Pecheur. Model-Based Verification of a Security Protocol for Conditional Access to Services
193 -- 212Wai Wong. Validation of HOL Proofs by Proof Checking
213 -- 228J. Strother Moore. A Mechanically Checked Proof of a Multiprocessor Result via a Uniprocessor View