Skip to content

Latest commit

 

History

History
7 lines (4 loc) · 171 Bytes

README.md

File metadata and controls

7 lines (4 loc) · 171 Bytes

DIPOT

Implements interface between SPOT and DIVINE

Features

  • Create a C format of transition based Buchi automaton, from LTL formula, that is accepted by DIVINE.