Verifying Temporal Properties of Reactive Systems: A STeP Tutorial Nikolaj S. BjørnerAnca BrowneTomás E. Uribe OriginalPaper Pages: 227 - 270
Floating Point Verification in HOL Light: The Exponential Function John Harrison OriginalPaper Pages: 271 - 305
Verification of a Leader Election Protocol: Formal Methods Applied to IEEE 1394 Marco DevillersDavid GriffioenFrits Vaandrager OriginalPaper Pages: 307 - 320