Home

Jump to bottom Edit New page

Daniel edited this page Jul 7, 2015 · 1 revision

parse LTL (phi) -> stefan
negate (phi) -> stefan
(phi) to automaton -> daniel
cross product of automaton and model -> TBD
loop checking -> TBD
additional features -> TBD

Add a custom sidebar

Clone this wiki locally