Login / Signup

SimplMM: A simplified and abstract multicore hardware model for large scale system software formal verification.

Jieung KimRonghui GuZhong Shao
Published in: J. Syst. Archit. (2024)
Keyphrases
  • high level
  • real time
  • probabilistic model
  • computational model
  • formal verification
  • source code
  • software systems