Inductive Verification of Hybrid Automata with Strongest Postcondition Calculus.

Daisuke Ishii Guillaume Melquiond Shin Nakajima

Published in: IFM (2013)

Keyphrases

hybrid automata
finite state automata
inductive learning
model checking
machine learning
signature verification
inductive inference
database
inductive logic programming
linear time temporal logic
database systems
computational complexity
grammatical inference
functional programs