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...
| Главные авторы: | , , , |
|---|---|
| Формат: | Report |
| Опубликовано: |
2011
|