Author:Arie Gurfinkel
Keyphrasesarithmetic, automated theorem proving, continuation-passing style, EPR, interpolation2, model checking, SMT2, Stateflow, theorem proving, Uninterpreted Functions. |
| |||||
Copyright © 2012-2024 easychair.org. All rights reserved. |