Validating the DEMO Specification Language.

Mark A. T. Mulder

Published in: EEWC (2018)

Keyphrases

specification language
formal specification
description language
programming language
symbolic execution
software environment
requirements specification
model checker
database
databases
cooperative
search algorithm
orders of magnitude