Automatically verifying an object-oriented specification of the Steam-Boiler system.

Paulo J. F. Carreira Miguel E. F. Costa

Published in: Sci. Comput. Program. (2003)

Keyphrases

power plant
automatically generated
soft computing
databases
object oriented
user defined
artificial intelligence
high level
coal fired
neural network
machine learning
database systems
user interface
fault diagnosis
model checking
formal verification