Partial Order Reduction

From MaRDI portal

Jump to:navigation, search

MaRDI QIDQ7361937FDO

Authors Julian Brunner

Publication date 5 June 2018

Combining partial-order reductions with on-the-fly model-checking.

Cited in

(1)

A Fully Verified Executable LTL Model Checker

This page was built for software: Partial Order Reduction

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Partial_Order_Reduction&oldid=105370514"