From the Simulation to the Verification of Estelle Specifications.

Pierre de Saqui-Sannes Jean-Pierre Courtiat

Published in: FORTE (1989)

Keyphrases

simulation model
formal verification
neural network
genetic algorithm
concurrent systems
multiscale
mathematical model
model checking
simulation environment
bounded model checking
automated verification
databases
high level
bayesian networks
formal methods
signature verification