DC Field
Value
Language
dc.contributor.author
Wesley, Scott
-
dc.contributor.author
Christakis, Maria
-
dc.contributor.author
Navas, Jorge A.
-
dc.contributor.author
Trefler, Richard
-
dc.contributor.author
Wüstholz, Valentin
-
dc.contributor.author
Gurfinkel, Arie
-
dc.date.accessioned
2024-11-04T10:32:28Z
-
dc.date.available
2024-11-04T10:32:28Z
-
dc.date.issued
2024
-
dc.identifier.citation
<div class="csl-bib-body"> <div class="csl-entry">Wesley, S., Christakis, M., Navas, J. A., Trefler, R., Wüstholz, V., &#38; Gurfinkel, A. (2024). Inductive Predicate Synthesis Modulo Programs. In <i>38th European Conference on Object-Oriented Programming (ECOOP 2024)</i> (pp. 1–30). https://doi.org/10.4230/LIPIcs.ECOOP.2024.43</div> </div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/203882
-
dc.description.sponsorship
WWTF Wiener Wissenschafts-, Forschu und Technologiefonds
-
dc.language.iso
en
-
dc.relation.ispartofseries
Leibniz International Proceedings in Informatics (LIPIcs)
-
dc.rights.uri
http://creativecommons.org/licenses/by/4.0/
-
dc.subject
Software Verification
en
dc.subject
Invariant Synthesis
en
dc.subject
Model-Checking
en
dc.title
Inductive Predicate Synthesis Modulo Programs
en
dc.type
Inproceedings
en
dc.type
Konferenzbeitrag
de
dc.rights.license
Creative Commons Namensnennung 4.0 International
de
dc.rights.license
Creative Commons Attribution 4.0 International
en
dc.contributor.affiliation
Dalhousie University, Canada
-
dc.contributor.affiliation
Certora, Seattle, WA, USA
-
dc.contributor.affiliation
University of Waterloo, Canada
-
dc.contributor.affiliation
ConsenSys, Austria
-
dc.contributor.affiliation
University of Waterloo, Canada
-
dc.description.startpage
1
-
dc.description.endpage
30
-
dc.relation.grantno
ICT22-007
-
dc.rights.holder
© Scott Wesley, Maria Christakis, Jorge A. Navas, Richard Trefler, Valentin Wüstholz, and Arie Gurfinkel
-
dc.type.category
Full-Paper Contribution
-
tuw.booktitle
38th European Conference on Object-Oriented Programming (ECOOP 2024)
-
tuw.container.volume
313
-
tuw.peerreviewed
true
-
tuw.book.chapter
43
-
tuw.project.title
Effective Formal Methods for Smart-Contract Certification
-
tuw.researchTopic.id
I4
-
tuw.researchTopic.name
Information Systems Engineering
-
tuw.researchTopic.value
100
-
tuw.publication.orgunit
E194-01 - Forschungsbereich Software Engineering
-
tuw.publisher.doi
10.4230/LIPIcs.ECOOP.2024.43
-
dc.identifier.libraryid
AC17350375
-
dc.description.numberOfPages
30
-
tuw.author.orcid
0000-0002-6708-2122
-
tuw.author.orcid
0000-0002-2649-1958
-
tuw.author.orcid
0000-0002-0516-1167
-
tuw.author.orcid
0009-0007-4235-9328
-
tuw.author.orcid
0000-0003-1496-1104
-
tuw.author.orcid
0000-0002-5964-6792
-
dc.rights.identifier
CC BY 4.0
de
dc.rights.identifier
CC BY 4.0
en
tuw.event.name
38th European Conference on Object-Oriented Programming (ECOOP 2024)
en
tuw.event.startdate
16-09-2024
-
tuw.event.enddate
18-09-2024
-
tuw.event.online
On Site
-
tuw.event.type
Event for scientific audience
-
tuw.event.country
AT
-
tuw.event.presenter
Wesley, Scott
-
wb.sciencebranch
Informatik
-
wb.sciencebranch.oefos
1020
-
wb.sciencebranch.value
100
-
item.mimetype
application/pdf
-
item.openairetype
conference paper
-
item.cerifentitytype
Publications
-
item.grantfulltext
open
-
item.languageiso639-1
en
-
item.openairecristype
http://purl.org/coar/resource_type/c_5794
-
item.openaccessfulltext
Open Access
-
item.fulltext
with Fulltext
-
crisitem.project.funder
WWTF Wiener Wissenschafts-, Forschu und Technologiefonds
-
crisitem.project.grantno
ICT22-007
-
crisitem.author.dept
Dalhousie University
-
crisitem.author.dept
E194-01 - Forschungsbereich Software Engineering
-
crisitem.author.dept
Certora, Seattle, WA, USA
-
crisitem.author.dept
University of Waterloo
-
crisitem.author.dept
ConsenSys, Austria
-
crisitem.author.dept
University of Waterloo
-
crisitem.author.orcid
0000-0002-2649-1958
-
crisitem.author.orcid
0009-0007-4235-9328
-
crisitem.author.orcid
0000-0003-1496-1104
-
crisitem.author.orcid
0000-0002-5964-6792
-
crisitem.author.parentorg
E194 - Institut für Information Systems Engineering
-
Appears in Collections:
Conference Paper
Thumbnail
Fulltext (Version of Record (published version))
Adobe PDF
(1.21 MB)
Open Access CC BY 4.0
Show simple item record

Page view(s)

201
checked on Nov 4, 2024

Download(s)

93
checked on Nov 4, 2024

Google ScholarTM

Check