Example: tourism industry
Model Checking Higher-Order Programs1
2 · N. Kobayashi analysis (“Does a subterm e of a given program evaluate to a value generated at program point l?”), and resource usage verification (“Does a given program access resources such as files and memory in a valid manner?”). Our verification technique is based on model checking of higher-order recursion schemes (recursion schemes, for short) [Ong 2006], and consists of ...
Tags:
Information
Domain:
Source:
Link to this page: