Cerberus-BMC: A Principled Reference Semantics and Exploration Tool for Concurrent and Sequential C.

Stella Lau, Victor B. F. Gomes, Kayvan Memarian, Jean Pichon-Pharabod, Peter Sewell

Browse the full CAV paper archive.