deciding language inclusions of open systems
A small overview over Delain's purpose

Delain is a tool to decide whether an open system Impl conforms to an open system Spec. For this decision Delain uses the labeled transition systems CSD and BSD created by Chloe.

See the science section for additional information.