Debugging Program Verification Proof Scripts (Tool Paper).

Bernhard Beckert Sarah Grebing Alexander Weigl

Published in: CoRR (2018)

Keyphrases

scripting language
neural network
decision making
open source
information retrieval
information systems
multiscale
relational databases
hidden markov models