The Right Kind of Non-Determinism: Using Concurrency to Verify C Programs with Underspecified Semantics

Published in ICE, 2022

Recommended citation: Eduard Kamburjan, Nathan Wasser. (2022). ICE. EPTCS 365