mu-term: Verify Termination Properties Automatically (System Description).

Raúl Gutiérrez Salvador Lucas

Published in: IJCAR (2) (2020)

Keyphrases

high level
structural properties
data sets
image processing
expert systems
automatically generated
real time
search engine
case study
database systems
objective function
data model
cost function
desirable properties
topological properties
term rewriting