CASL ist eine Sprache zur algebraischen Spezifikation von funktionalen Anforderungen und dem modularen Design von Software-Systemen. CASL wurde von der CoFI, der international Common Framework Initiative for algebraic specification and development entwickelt.