Author:Konstantin Korovin
Keyphrasesabstraction refinement, automated reasoning, Bounded Model Checking, EPR, EPR fragment, first-order logic, interpolation, k-induction, linear arithmetic, Quantified First-Order Logic, SMT2, theorem proving2. |
![]() | |||||||||||
| |||||||||||
Copyright © 2012-2023 easychair.org. All rights reserved. |