Sign in

Model-Checking Task Parallel Programs for Data-Race.

Radha NakadeEric MercerPeter AldousJay McCarthy
Published in: NFM (2018)
Keyphrases
  • model checking
  • temporal logic
  • finite state
  • temporal properties
  • finite state machines
  • formal methods
  • asynchronous circuits
  • symbolic model checking