Abstraction discovery and refinement for model checking by symbolic trajectory evaluation (2014)

First Author: Adams Sara Elisabeth

Attributed to: Abstraction Discovery and Refinement for Model Checking Partially Ordered State Spaces funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: http://ora.ox.ac.uk/objects/uuid:27276f9c-eba5-42a9-985d-1812097773f8

Type: Thesis