Modeling Systems via Register Machines
Nov 6, 2024·
·
0 min read
Samuel Grahn
Abstract
Register machines can be verified against weak memory models that might be undecidable in the general case. Here we demonstrate how to model system features via register machines so that we enable their verification.
Date
Nov 6, 2024 12:00 AM
Event
Nordic Workshop on Programming Languages (NWPT) 2024
Location
Copenhagen, Denmark
