Login / Signup
Using HOL to produce custom verification tools.
David Shepherd
Published in:
TPHOLs (1991)
Keyphrases
</>
formal methods
domain specific
artificial intelligence
end users
decision support
software tools
information systems
database
data sets
knowledge base
decision trees
programming language
model checking
visualization tools