Sign in

Model-checking task-parallel programs for data-race.

Radha NakadeEric MercerPeter AldousKyle StoreyBenjamin OglesJoshua HookerSheridan Jacob PowellJay McCarthy
Published in: Innov. Syst. Softw. Eng. (2019)
Keyphrases
  • model checking
  • temporal logic
  • reinforcement learning
  • asynchronous circuits
  • bounded model checking
  • automated verification