-D. L. Dill (Ed.): Computer Aided Verification. Proceedings 1994, Springer-Verlag 1994