External Links

    Journal: Formal Methods in System Design

    Volume 16, Issue 3

    227 -- 270Nikolaj Bjørner, Anca Browne, Michael Colón, Bernd Finkbeiner, Zohar Manna, Henny Sipma, Tomás E. Uribe. Verifying Temporal Properties of Reactive Systems: A STeP Tutorial
    271 -- 305John Harrison. Floating Point Verification in HOL Light: The Exponential Function
    307 -- 320Marco Devillers, W. O. David Griffioen, Judi Romijn, Frits W. Vaandrager. Verification of a Leader Election Protocol: Formal Methods Applied to IEEE 1394
    runs on