CSSE 373 -- Formal Methods in Specification and Design

                                Quiz 10



Name:_________________________________________    Grade:______________


1. List 7 tips for setting the scope of commands in Alloy:


	*
	
	
	
	
	*
	
	
	
	
	*
	
	
	
	
	*
	
	
	
	
	*
	
	
	
	
	*
	
	
	
	
	*
	
	
	
	

2. Precisely why should you be careful with "exactly"?








(not continued on back)