Sign in
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