Arithmetic in Formal Synthesis.

Viktor K. Sabelfeld Kai Kapp

Published in: MBMV (2003)

Keyphrases

program synthesis
formal model
formal language
formal methods
arithmetic operations
social networks
formal specification
evolutionary algorithm
floating point
special case
data sets
multi agent systems
multiscale
case study
feature selection
machine learning
neural network
databases