Login / Signup
Lars Nitzke
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 2
Top Topics
Computation Tree Logic
Pspace Complete
Reactive Systems
Timed Automata
Top Venues
CoRR
VMCAI (2)
</>
Publications
</>
Matthias Heizmann
,
Dominik Klumpp
,
Lars Nitzke
,
Frank Schüssele
Petrification: Software Model Checking for Programs with Dynamic Thread Management.
VMCAI (2)
(2024)
Matthias Heizmann
,
Dominik Klumpp
,
Frank Schüssele
,
Lars Nitzke
Petrification: Software Model Checking for Programs with Dynamic Thread Management (Extended Version).
CoRR
(2023)