Login / Signup
Gadi Tellez
Publication Activity (10 Years)
Years Active: 2017-2020
Publications (10 Years): 2
Top Topics
Possibility Theory
Provably Correct
Temporal Properties
Model Checking
Top Venues
CADE
J. Autom. Reason.
</>
Publications
</>
Gadi Tellez
,
James Brotherston
Automatically Verifying Temporal Properties of Pointer Programs with Cyclic Proof.
J. Autom. Reason.
64 (3) (2020)
Gadi Tellez
,
James Brotherston
Automatically Verifying Temporal Properties of Pointer Programs with Cyclic Proof.
CADE
(2017)