Login / Signup

Model Checking Race-Freedom When "Sequential Consistency for Data-Race-Free Programs" is Guaranteed.

Wenhao WuJan HückelheimPaul D. HovlandZiqing LuoStephen F. Siegel
Published in: CAV (2) (2023)
Keyphrases
  • model checking
  • temporal logic
  • artificial intelligence
  • finite state
  • finite state machines
  • reachability analysis