G-KARL: A Graphical, Formal, and Executable Specification Language.

Jürgen Angele Rudi Studer

Published in: XPS (1997)

Keyphrases

specification language
formal specification
requirements specification
model checking
formal methods
reverse engineering
symbolic execution
software environment
machine learning
object oriented
description language