Chloe

characterizing languages of open systems
A small overview over Chloe's purpose

Chloe is a tool to create the labeled transitions systems CSD and BSD to decide bounded responsiveness with Delain.

See the science section for additional information.