Hybrid Diagrams: A Deductive-Algorithmic Approach to Hybrid System Verification.

Luca de Alfaro Arjun Kapur Zohar Manna

Published in: STACS (1997)

Keyphrases

formal verification
artificial neural networks
model checking
object oriented
information retrieval
database systems
similarity measure
databases
genetic algorithm
web services
computational intelligence
formal methods