Login / Signup
UMC4M: A Verification Tool via Program Execution.
Meng Wang
Junfeng Tian
Hong Zhang
Published in:
SOFL+MSVL (2019)
Keyphrases
</>
program execution
multi processor
model checking
development process
software tools
formal verification
java virtual machine