1 paper · 1 filter
Youngju Song, Minki Cho
In recent years, great progress has been made in the field of formal verification for low-level systems. Many of them are based on one of two popular approaches: refinement or unar…