Petrification: Software Model Checking for Programs with Dynamic Thread Management

von Heizmann, Maithias
Veröffentlicht in VMCAI (25. : 2024 : London) Verification, model checking, and abstract interpretation ; Part 2 (2024)