Hybrid Verifications of Reactive Programs.

Olivier F. Roux Vlad Rusu Franck Cassez

Published in: Formal Aspects Comput. (1999)

Keyphrases

fixpoint
databases
computer programs
database
real time
data sets
neural network
machine learning
knowledge base
image processing
high level
wireless sensor networks
case based reasoning
provably correct
hybrid approaches
prolog programs