CAMILA: Prototyping and Refinement of Constructive Specifications.

José João Almeida Luís Soares Barbosa F. L. Neves José Nuno Oliveira

Published in: AMAST (1997)

Keyphrases

code generation
delay insensitive
refinement process
formal specification
neural network
specification language
rapid prototyping
database systems
data sets
multiscale
probabilistic model
formal language
reactive systems
bounded model checking