Login / Signup

UMC4M: A Verification Tool via Program Execution.

Meng WangJunfeng TianHong Zhang
Published in: SOFL+MSVL (2019)
Keyphrases
  • program execution
  • multi processor
  • model checking
  • development process
  • software tools
  • formal verification
  • java virtual machine