Machine Assisted Proof of ARMv7 Instruction Level Isolation Properties.

Narges Khakpour Oliver Schwarz Mads Dam

Published in: CPP (2013)

Keyphrases

multimedia
machine learning
higher level
structural properties
theorem proving
levels of abstraction
imperative programs
bayesian networks