Lars Nitzke

According to our database, Lars Nitzke authored at least 2 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Petrification: Software Model Checking for Programs with Dynamic Thread Management.

Matthias Heizmann, Dominik Klumpp, Lars Nitzke, Frank Schüssele

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024

2023

Petrification: Software Model Checking for Programs with Dynamic Thread Management (Extended Version).

Matthias Heizmann, Dominik Klumpp, Frank Schüssele, Lars Nitzke

CoRR, 2023