Login / Signup

Combining ACL2 and an automated verification tool to verify a multiplier.

Erik ReeberJun Sawada
Published in: ACL2 (2006)
Keyphrases
  • automated verification
  • model checking
  • formal verification
  • automated reasoning
  • software tools
  • verification method
  • neural network
  • data mining
  • temporal logic
  • natural language learning