Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Author
:
Dmitry Tsarkov
Publications
EPR-based k-induction with Counterexample Guided Abstraction Refinement
Zurab Khasidashvili
,
Konstantin Korovin
and
Dmitry Tsarkov
In
:
GCAI 2015. Global Conference on Artificial Intelligence
Keyphrases
abstraction refinement
,
Bounded Model Checking
,
EPR fragment
,
first-order logic
,
k-induction
.
Copyright © 2012-2024 easychair.org. All rights reserved.
