Parallel External Directed Model Checking with Linear I/O.

Shahid Jabbar, Stefan Edelkamp

Browse the full VMCAI paper archive.