Email Gateway (Aug 22 2022 at 17:33): Email Gateway (Aug 22 2022 at 17:33):From: Gerwin.Klein@data61.csiro.au
The AFP development version has a new entry:
Partial Order Reduction
by Julian Brunner
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.
Since the next Isabelle release is not too far off, this entry should become available on the usual AFP front page in 1-2 months.
Enjoy!
Gerwin
Last updated: Feb 01 2025 at 20:19 UTC