Home
|
Screenshots
|
Results
|
Documentation
|
Download
|
Contact
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)
© Universite de Provence
Design by Ossoba Studio
Design downloaded from
Free Templates
- your source for free web templates