A Case Study in the Automated Translation of BSV Hardware to PVS Formal Logic with Subsequent Verification.

Nicholas Moore Mark Lawford

Published in: TASE (2022)

Keyphrases

formal logic
formal verification
predicate logic
formal methods
model checking
case study
design theory
data mining
logic programming
theorem proving