A Graphical User Interface Framework for Formal Verification.

Edward W. Ayers Mateja Jamnik William T. Gowers

Published in: ITP (2021)

Keyphrases

formal verification
main contribution
bayesian networks
database
real time
neural network
artificial intelligence
probabilistic model
theoretical framework
model checking