Model-Checking Task Parallel Programs for Data-Race.

Radha Nakade Eric Mercer Peter Aldous Jay McCarthy

Published in: NFM (2018)

Keyphrases

model checking
temporal logic
finite state
temporal properties
finite state machines
formal methods
asynchronous circuits
symbolic model checking