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