A Partial Order Reduction Technique for Event-driven Multi-threaded Programs.

Pallavi Maiya Rahul Gupta Aditya Kanade Rupak Majumdar

Published in: CoRR (2015)

Keyphrases

event driven
multi threaded
partial order reduction
model checking
petri net
real time
operating system
multi core processors
information delivery
information flow
computer architecture
multithreading
database
query processing
data model
markup language