Model checking liveness properties of higher-order functional programs
Recent advances in the model checking of recursion schemes have opened the prospect of a model checking approach to the verification of higher-order functional programs. We formulate the Resource Usage Verification Problem in a general (liveness) setting, where good behaviours are specified by al...
| Main Authors: | , , , |
|---|---|
| Format: | Report |
| Published: |
2011
|