Author:Rajeev Gore
Keyphrasesautomated reasoning, Binary Decision Diagrams, Bounded Model Checking, interactive verification, mu-calculus, non-classical logics, Progress Report, software verification, verification tools. |
| ||||
| ||||
| Copyright © 2012-2025 easychair.org. All rights reserved. |