Formal Verification of ECCs for Memories Using ACL2.

Mahum Naseer Waqar Ahmad Osman Hasan

Published in: J. Electron. Test. (2020)

Keyphrases

formal verification
model checking
natural language learning

symbolic model checking
model checker
bounded model checking

automated verification
associative memory
program slicing

artificial intelligence
domain specific
temporal logic