• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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