References

  1. Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled.Model Checking, The MIT Press, 1999, Fourth Printing 2002.

  2. Michael Huth and Mark Ryan. Logic in Computer Science: Modelling and Reasoning about Systems, Second Edition, Cambridge University Press, 2004.

  3. B. Bérard et al.. Systems and Software Verification, Modelchecking Techniques and Tools, Springer-Verlag, 2001.

  4. Kenneth L. McMillan, Symbolic Model Checking, Kluwer Academic Publishers, 1993.

  5. Doron A. Peled. Software Reliability Methods, Texts in Computer Science (Foreword by Edmund M. Clarke). Springer-Verlag, 2001.

  6. Gerard J. Holzmann, The SPIN Model Checker, 2004, Lucent Technology Inc, Bell Laboratories.
iistinfo@iist.unu.edu, 13 January 2004