Tags

MPI
Concurrency
DPOR
model checking
runtime verification
symbolic analysis
smart contracts
deadlocks
binary instrumentation