- Gérard Berry, Hubert Comon, Alain Finkel, editors, Computer Aided Verification, 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001, Proceedings. Volume 2102 of Lecture Notes in Computer Science, Springer, 2001.
- Scott D. Stoller, Willem Visser, editors, Workshop on Software Model Checking 2001, in connection with CAV 2001, Paris, France, July 23, 2001. Volume 55 of Electronic Notes in Theoretical Computer Science, Elsevier, 2001.