Automated verification of pointer programs in pointer logic.

Zhifang Wang Yiyun Chen Zhenming Wang Baojian Hua

Published in: Frontiers Comput. Sci. China (2008)

Keyphrases

automated verification
automated reasoning
data structure
model checking
formal verification
dynamic logic
knowledge representation
modal logic
database
proof theory
data sets
artificial intelligence
logic programming
graph theory