Towards Trustworthy Specifications I: Consistency Checks.

Markus Roggenbach Lutz Schröder

Published in: WADT (2001)

Keyphrases

consistency checks
high level
formal specification
database
neural network
operational semantics
concurrent systems
delay insensitive
data sets
databases
real world
image processing
bayesian networks
multiscale
expert systems
software engineering