I/O Efficient Directed Model Checking.

Shahid Jabbar, Stefan Edelkamp

Browse the full VMCAI paper archive.