Sign in
David Lidell
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Bounded Model Checking
Linear Temporal Logic
Orders Of Magnitude
Top Venues
ATVA
</>
Publications
</>
Shaun Azzopardi
,
David Lidell
,
Nir Piterman
,
Gerardo Schneider
ppLTLTT : Temporal Testing for Pure-Past Linear Temporal Logic Formulae.
ATVA
(2023)