Labaw, Bruce Heitmeyer, Constance Bharadwaj, Ramesh <br/><br/>
Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications 

 - 927-648 p. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Requirements<br/>Abstraction<br/>Simulation