related documents The open verifier framework for foundational verifiers Conference Proceeding Type-based verification of sssembly language for compiler debugging Conference Proceeding
