GRASP: an executable specification language for Ada tasking.

Kelly I. Morrison

Published in: ACM Conference on Computer Science (1988)

Keyphrases

specification language
formal specification
model checking
description language
programming language
reverse engineering
tabu search
requirements specification
symbolic execution
formal methods
machine learning
building blocks
object oriented
data structure
multi agent
case study
model checker
real world
databases