The Logic of the RAISE Specification Language.

Chris George Anne E. Haxthausen

Published in: Comput. Artif. Intell. (2003)

Keyphrases

specification language
formal specification
description language
model checker
programming language
software environment
symbolic execution
logic programming
modal logic
requirements specification
database
optimal solution
cooperative
case study
multi agent
workflow management