Abstraction in Software Model Checking: Principles and Practice (Tutorial Overview and Bibliography)

This paper provides a brief description, including a bibliography, of the SPIN2002 tutorial on abstraction in model checking of software.