Login / Signup
Islaris: verification of machine code against authoritative ISA semantics.
Michael Sammler
Angus Hammond
Rodolphe Lepigre
Brian Campbell
Jean Pichon-Pharabod
Derek Dreyer
Deepak Garg
Peter Sewell
Published in:
PLDI (2022)
Keyphrases
</>
source code
symbolic execution
model checking
formal semantics
instruction set architecture
face verification
formal methods
specification language
batch processing
logic programming
database
functional verification
neural network
flowshop
speech acts
concurrent systems
byte code