Interlocking Design Automation Using Prover Trident.

Published in: FM (2018)

Keyphrases

design automation
theorem proving
theorem prover
computer aided design
test generation
circuit design
automated theorem proving
proof search
databases
artificial intelligence
case study
logic programs
first order logic