Login / Signup
An Automata-Theoretic Approach to Automatic Program Verification (Preliminary Report)
Moshe Y. Vardi
Pierre Wolper
Published in:
LICS (1986)
Keyphrases
</>
machine learning
relational databases
semi automatic
wide range
cellular automata
finite automata
data sets
databases
real world
data mining
learning environment
markov chain
fully automatic
finite state
probabilistic automata