Modular Verification of SPARCv8 Code.

Junpeng Zha Xin-Yu Feng Lei Qiao

Published in: J. Comput. Sci. Technol. (2020)

Keyphrases

source code
model checking
formal verification
byte code
modular neural networks
verification method
error correcting
data flow
binary codes
social networks
code generation
information retrieval
fully functional
modular architecture
databases
program code
data sets
database