Formalizing SPARCv8 instruction set architecture in Coq.

Jiawei Wang Ming Fu Lei Qiao Xinyu Feng

Published in: Sci. Comput. Program. (2020)

Keyphrases

instruction set architecture
instruction set
theorem prover
formal methods
object oriented
computer architecture
data structure
query processing
message passing
floating point