Guiding the Correction of Parameterized Specifications.

Jean-François Couchot Frédéric Dadeau

Published in: IFM (2007)

Keyphrases

formal specification
data sets
high level
specification language
neural network
concurrent systems
real time
knowledge base
multi agent systems
control flow
design requirements
transition systems