J.D.: Model Checking Large Software Specifications. (1998)

by W Chan, R J Anderson, P Beame, S Burns, F Modugno, D Notkin, Reese
Venue:IEEE Transactions on Software Engineering