A proof-producing translator for verilog development in HOL.

Andreas Lööw Magnus O. Myreen

Published in: FormaliSE@ICSE (2019)

Keyphrases

theorem prover
case study
artificial intelligence
theorem proving
database
knowledge based systems
development process
open source
natural deduction
linear logic
development environment
rapid development
software engineering
learning environment
image processing
machine learning
databases