Burak Ekici
Burak Ekici
Verifierad e-postadress på uibk.ac.at - Startsida
TitelCiteras avÅr
SMTCoq: A plug-in for integrating SMT solvers into Coq
B Ekici, A Mebsout, C Tinelli, C Keller, G Katz, A Reynolds, C Barrett
International Conference on Computer Aided Verification, 126-133, 2017
372017
Extending SMTCoq, a certified checker for SMT
B Ekici, G Katz, C Keller, A Mebsout, AJ Reynolds, C Tinelli
arXiv preprint arXiv:1606.05947, 2016
122016
Formal verification in Coq of program properties involving the global state effect
JG Dumas, D Duval, B Ekici, D Pous
arXiv preprint arXiv:1310.0794, 2013
102013
Certified proofs in programs involving exceptions
JG Dumas, D Duval, B Ekici, JC Reynaud
arXiv preprint arXiv:1310.2338, 2013
72013
Relative hilbert-post completeness for exceptions
JG Dumas, D Duval, B Ekici, D Pous, JC Reynaud
International Conference on Mathematical Aspects of Computer and Information …, 2015
42015
Procedural and Non-Procedural Implementation of Search Strategies in Control Network Programming
K Kratchanov, E Golemanova, T Golemanov, T Ercan, B Ekici
arXiv preprint arXiv:1412.4184, 2014
32014
Certification de programmes avec des effets calculatoires
B Ekici
Grenoble Alpes, 2015
22015
IMP with exceptions over decorated logic
B Ekici
arXiv preprint arXiv:1503.05496, 2015
22015
Concrete Semantics with Coq and CoqHammer
Ł Czajka, B Ekici, C Kaliszyk
International Conference on Intelligent Computer Mathematics, 53-59, 2018
12018
Towards Mac Lane's Comparison Theorem for the (co) Kleisli Construction in Coq.
B Ekici
CICM Workshops, 2018
12018
Verifying Bit-vector Invertibility Conditions in Coq
B Ekici, A Viswanathan, Y Zohar, C Barrett, C Tinelli
arXiv preprint arXiv:1908.09478, 2019
2019
Certified Satisfiability Modulo Theories (SMT) Solving for System Verification
C Barrett, B Ekici, L Hadarean, G Katz, C Keller, A Mebsout, A Reynolds, ...
New York University New York United States, 2017
2017
IMP+ Exc over decorated logic
B Ekici
arXiv preprint arXiv:1503.05496, 2015
2015
Mac Lane’s Comparison Theorem for the Kleisli Construction Formalized in Coq
B Ekici, C Kaliszyk
Mathematics in Computer Science, 1-17, 0
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–14