Using symbolic execution to check global temporal requirements in an application Grant US-8359576-B2 United States of America 22 Jan 2013