Combination of Isabelle/HOL with Automatic Tools.

Sergey Tverdyshev

Published in: FroCoS (2005)

Keyphrases

theorem prover
natural deduction
formal methods
fully automatic
database
decision support
visualization tools
expert systems
data driven
theorem proving
higher order logic
bayesian networks
end users
software tools