Implementation of Pointer Logic for Automated Verification.

Zhifang Wang Yiyun Chen Zhenming Wang Wei Wang Bo Tian

Published in: ICYCS (2008)

Keyphrases

automated verification
automated reasoning
implementation details
model checking
data structure
real time
machine learning
formal verification
genetic algorithm
learning algorithm
classical logic
digital circuits