Applications of Model Checking at Honeywell Laboratories (2001)

by Darren Cofer, Eric Engstrom, Robert Goldman, David Musliner, Steve Vestal
Venue:Proceedings of the 8th International SPIN Workshop 2001, volume 2057 of Lecture Notes in Computer Science