Partial Order Reduction

Julian Brunner 🌐

June 5, 2018

Abstract

This entry provides a formalization of the abstract theory of ample set partial order reduction. The formalization includes transition systems with actions, trace theory, as well as basics on finite, infinite, and lazy sequences. We also provide a basic framework for static analysis on concurrent systems with respect to the ample set condition.

License

BSD License

Topics

Session Partial_Order_Reduction