Partial Order Reduction for Event-Driven Multi-threaded Programs.
Pallavi MaiyaRahul GuptaAditya KanadeRupak MajumdarPublished in: TACAS (2016)
Keyphrases
- event driven
- multi threaded
- partial order reduction
- model checking
- petri net
- real time
- multi core processors
- operating system
- computer architecture
- information flow
- information delivery
- computer programs
- markup language
- multithreading
- programming environment
- social networks
- databases
- parallel computation
- cloud computing
- query processing