Sign in

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

Nicholas MooreMark 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