Partial Order Reduction for State/Event LTL.

Nikola Benes, Lubos Brim, Ivana Cern, Jiri Sochor, Pavlna Varekov, Barbora Zimmerov

Browse the full IFM paper archive.