Skip to content
Marcelo Sousa edited this page Oct 19, 2018 · 5 revisions

Welcome

You are about to embark on a journey to the world of prime event structures (also known as unfoldings)!

For more information about experiments in papers related to POET check:

  1. Unfolding-based Partial Order Reduction
  2. Abstract Interpretation with Unfoldings

If you have any questions please contact me at marceloabsousa.at.gmail.com

Clone this wiki locally