HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Arie Gurfinkel

Publications
Model Based Interpolation for Uninterpreted Functions and Integer Linear Arithmetic
Nikolaj Bjorner, Arie Gurfinkel, Sharon Shoham and Yakir Vizel
EasyChair Preprint 10000
Efficient Simulation for Hardware Model Checking
Joseph Tafese and Arie Gurfinkel
In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning
Automated analysis of Stateflow models
Hamza Bourbouh, Pierre-Loic Garoche, Christophe Garion, Arie Gurfinkel, Temesghen Kahsai and Xavier Thirioux
In:LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Instantiations, Zippers and EPR Interpolation
Nikolaj Bjorner, Arie Gurfinkel, Konstantin Korovin and Ori Lahav
In:LPAR-19. 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning

Keyphrases

arithmetic, automated theorem proving, btor2mlir, continuation-passing style, EPR, interpolation2, model checking2, simulation, SMT2, Stateflow, theorem proving, Uninterpreted Functions, verification.

Copyright © 2012-2025 easychair.org. All rights reserved.