Automata-Driven Partial Order Reduction and Guided Search for LTL Model Checking.

Peter Gjl Jensen, Jir Srba, Nikolaj Jensen Ulrik, Simon Mejlby Virenfeldt

Browse the full VMCAI paper archive.