An Introduction to the Specification Language Spec.

Valdis Berzins Luqi

Published in: IEEE Softw. (1990)

Keyphrases

specification language
formal specification
programming language
description language
benchmark suite
software environment
requirements specification
symbolic execution
model checking
learning algorithm
case study
high level
search algorithm
open source
software architecture