Model Checking basic concepts and techniques Sriram K. Rajamani Sources: My MSR Model checking crash course from Fall 99 Tom Henzinger’s slides from his OSQ course Model…
