The Correctness of Nondeterministic Programs Revisited.

Leszek Holenderski

Published in: Inf. Process. Lett. (1986)

Keyphrases

provably correct
data model
finite state
database systems
computer programs
real time
neural network
information retrieval
image processing
data structure
search algorithm
hidden markov models
intermediate level
finite automata