Login / Signup
Simon Mejlby Virenfeldt
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 1
Top Topics
Partial Order Reduction
Timed Automata
Model Checking
Linear Time Temporal Logic
Top Venues
VMCAI
</>
Publications
</>
Peter Gjøl Jensen
,
Jirí Srba
,
Nikolaj Jensen Ulrik
,
Simon Mejlby Virenfeldt
Automata-Driven Partial Order Reduction and Guided Search for LTL Model Checking.
VMCAI
(2022)