Documentation

• A quick introduction to POEM
• Some references on the IF Language
• Some references on the UPPAAL Language

  Pusblished Material

• SAT based Bounded Model Checking with Partial Order Semantics for Timed Automata, Peter Niebert and Janusz Malinowski, TACAS 2010 -- 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, volume 6015, pages 405-419, Published by Springer
• Tool Presentation: POEM, a flexible model checking framework with partial order semantics (submitted)