Login / Signup

Verification of Concurrent Machine Code Running on a Single-Core Machine.

Narges Khakpour
Published in: SAC (2024)
Keyphrases
  • source code
  • model checking
  • database
  • real time
  • artificial intelligence
  • flowshop
  • concurrent programs