Azurpourpre

@Azurpourpre · User

GitHub profile ↗ · Compare

0 followers6 repositories

Repositories

Azurpourpre/IALE

Industrial Assertion and Logic Extractor. A translator for IEC 61131 languages to Why3ML. Primarly Focused on functionnal specification formal verification.

★ 0OCamlForks 0