Common Contracts
1 similar Grant Agreement contracts
Grant Agreement: 644047Grant Agreement • December 8th, 2017
system properties. Assuming that a formula ϕ describes the desired sys- tem property, the model checking problem amounts to checking whether the combined formula
