Tags

Concurrency

DPOR

model checking

runtime verification

symbolic analysis

smart contracts

deadlocks

binary instrumentation

program analysis

trace partitioning