Login / Signup
Troy Kaighin Astarte
ORCID
Publication Activity (10 Years)
Years Active: 2019-2024
Publications (10 Years): 2
Top Topics
Model Checker
Provably Correct
Formal Methods
Temporal Properties
Top Venues
IEEE Ann. Hist. Comput.
FM Workshops (2)
</>
Publications
</>
David Hemmendinger
,
Troy Kaighin Astarte
From the Editors' Desks.
IEEE Ann. Hist. Comput.
46 (2) (2024)
Troy Kaighin Astarte
What Have Formal Methods Ever Done for Us? An Audience Discussion.
FM Workshops (2)
(2019)