X86 instruction semantics and basic block symbolic execution

From MaRDI portal

Jump to:navigation, search

MaRDI QIDQ7361097FDO

Authors Freek Verbeek, Abhijith Bharadwaj, Joshua Bockenek, Ian Roessle, Timmy Weerwag, Binoy Ravindran

Publication date 13 October 2021

Isabelle/HOL. A proof assistant for higher-order logic

This page was built for software: X86 instruction semantics and basic block symbolic execution

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=X86_instruction_semantics_and_basic_block_symbolic_execution&oldid=105362279"