Termination proofs for linear simple loops.

Hong Yi Chen Shaked Flur Supratik Mukhopadhyay

Published in: Int. J. Softw. Tools Technol. Transf. (2015)

Keyphrases

highly reliable
closed form
neural network
data sets
information retrieval
artificial intelligence
information systems
knowledge base
case study
feature space
hidden markov models
theorem prover
theorem proving
linear systems