ªUsing Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications,º (1998)

by C Heitmeyer, J Kirby, B Labaw, M Archer, R Bharadwaj
Venue:IEEE Trans. Software Eng.,