Verifying Branch-Free Assembly Code in Why3.

Marc Schoolderman

Published in: VSTTE (2017)

Keyphrases

source code
neural network
artificial intelligence
decision trees
model checking
error correcting
databases
genetic algorithm
decision making
case study
database systems
image sequences
robotic tasks