MSL - A Mathematical Specification Language.

Published in: LFCS (1992)

Keyphrases

specification language
formal specification
description language
programming language
software environment
symbolic execution
web services
expert systems
multiagent systems
model checker
requirements specification