Modular Verification of SPARCv8 Code.

Junpeng Zha Xinyu Feng Lei Qiao

Published in: APLAS (2018)

Keyphrases

source code
formal verification
model checking
program understanding
byte code
asynchronous circuits
neural network
symbolic execution
case study
image sequences
e learning
learning algorithm
face verification
formal analysis
real world
concurrent systems
data sets