Projects using Kratos2

• COMPASTA uses Kratos2 as a translator from components specified in SDL to symbolic transition systems.

• In the Evidence-FBK Collaboration, Kratos2 is used as a verification engine for embedded software executing on the AUTOSAR platform.