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