Specification Languages for Stutter-Invariant Regular Properties.

Christian Dax Felix Klaedtke Stefan Leue

Published in: ATVA (2009)

Keyphrases

specification languages
formal specification
object oriented programs
data sets
neural network
machine learning
artificial intelligence
fine grained
topological properties
knowledge acquisition
affine transformation