Jiawei Wang's repositories
sparcv8-coq
Released code for the paper: Formalizing SPARCv8 Instruction Set Architecture in Coq (SETTA'17)
genmc
Generic model checker for concurrent C programs
Language:CGPL-3.0000
wangjwchn.github.io
https://wangjwchn.github.io