Record link: 
http://hdl.handle.net/20.500.12708/203882
-
Title: 
Inductive Predicate Synthesis Modulo Programs
en
Citation: 
Wesley, S., Christakis, M., Navas, J. A., Trefler, R., Wüstholz, V., & Gurfinkel, A. (2024). Inductive Predicate Synthesis Modulo Programs. In 38th European Conference on Object-Oriented Programming (ECOOP 2024) (pp. 1–30). https://doi.org/10.4230/LIPIcs.ECOOP.2024.43
-
CatalogPlus: 
AC17350375
-
Publisher DOI: 
10.4230/LIPIcs.ECOOP.2024.43
-
Publication Type: 
Inproceedings - Full-Paper Contribution
en
Language: 
English
-
Authors: 
Wesley, Scott 
Christakis, Maria 
Navas, Jorge A. 
Trefler, Richard 
Wüstholz, Valentin 
Gurfinkel, Arie 
-
Organisational Unit: 
E194-01 - Forschungsbereich Software Engineering 
-
Published in: 
38th European Conference on Object-Oriented Programming (ECOOP 2024) 
-
Volume: 
313
-
Date (published): 
2024
-
Event name: 
38th European Conference on Object-Oriented Programming (ECOOP 2024) 
en
Event date: 
16-Sep-2024 - 18-Sep-2024
-
Event place: 
Austria
-
Number of Pages: 
30
-
Peer reviewed: 
Yes
-
Keywords: 
Software Verification; Invariant Synthesis; Model-Checking
en
Project title: 
Effective Formal Methods for Smart-Contract Certification: ICT22-007 (WWTF Wiener Wissenschafts-, Forschu und Technologiefonds) 
-
Research Areas: 
Information Systems Engineering: 100%
-
Science Branch: 
1020 - Informatik: 100%
-
License: 
CC BY 4.0 CC BY 4.0
en
Appears in Collections:
Conference Paper

Thumbnail
Fulltext (Version of Record (published version))
Adobe PDF
(1.21 MB)
Open Access CC BY 4.0
Show full item record

Page view(s)

286
checked on Nov 4, 2024

Download(s)

255
checked on Nov 4, 2024

Google ScholarTM

Check