Login / Signup

Stateless model checking with data-race preemption points.

Ben BlumGarth A. Gibson
Published in: OOPSLA (2016)
Keyphrases
  • model checking
  • temporal logic
  • petri net
  • finite state machines
  • model checker