Modular Termination Verification.

Bart Jacobs Dragan Bosnacki Ruurd Kuiper

Published in: ECOOP (2015)

Keyphrases

model checking
database
neural network
signature verification
formal verification
highly flexible
term rewriting
real time
data sets
real world
machine learning
knowledge base
expert systems
relational databases
modular neural network
functional verification