External Links

    Journal: IEEE Trans. Software Eng.

    Volume 23, Issue 5

    267 -- 278Bruno Dutertre, Victoria Stavridou. Formal Requirements Analysis of an Avionics Control System
    279 -- 295Gerard J. Holzmann. The Model Checker SPIN
    296 -- 313Saeko Matsuura, Hironobu Kuruma, Shinichi Honiden. EVA: A Flexible Programming Method for Evolving Systems
    314 -- 323Changqing Wang, David R. Musser. Dynamic Verification of C++ Generic Algorithms
    runs on