Login / Signup
CASL: the Common Algebraic Specification Language.
Egidio Astesiano
Michel Bidoit
Hélène Kirchner
Bernd Krieg-Brückner
Peter D. Mosses
Donald Sannella
Andrzej Tarlecki
Published in:
Theor. Comput. Sci. (2002)
Keyphrases
</>
specification language
formal specification
programming language
description language
symbolic execution
software environment
requirements specification
machine learning
model checking
expert systems
open source
model checker