pointer logic
Recently Published Documents

TOTAL DOCUMENTS

12
(FIVE YEARS 0)

H-INDEX

2
(FIVE YEARS 0)
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Pointer Logic for Verification of Pointer Programs

2010 ◽  
Vol 21 (3) ◽  
pp. 415-426 ◽  
Author(s):  
Yi-Yun CHEN ◽  
Zhao-Peng LI ◽  
Zhi-Fang WANG ◽  
Bao-Jian HUA
Keyword(s):  
Pointer Logic

Pointer Logic Dealing with Uncertain Equality of Pointers

2010 ◽  
Vol 21 (2) ◽  
pp. 334-343 ◽  
Author(s):  
Hong-Jin LIANG ◽  
Yu ZHANG ◽  
Yi-Yun CHEN ◽  
Zhao-Peng LI ◽  
Bao-Jian HUA
Keyword(s):  
Pointer Logic

scholarly journals Automated Theorem Prover for Pointer Logic

2009 ◽  
Vol 20 (8) ◽  
pp. 2037-2050
Author(s):  
Zhen-Ming WANG ◽  
Yi-Yun CHEN ◽  
Zhi-Fang WANG
Keyword(s):  
Theorem Prover ◽  
Automated Theorem Prover ◽  
Pointer Logic

A Pointer Logic for Safety Verification of Pointer Programs

2009 ◽  
Vol 31 (3) ◽  
pp. 372-380 ◽  
Author(s):  
Yi-Yun CHEN ◽  
Bao-Jian HUA ◽  
Lin GE ◽  
Zhi-Fang WANG
Keyword(s):  
Safety Verification ◽  
Pointer Logic

Automated verification of pointer programs in pointer logic

2008 ◽  
Vol 2 (4) ◽  
pp. 380-397
Author(s):  
Zhifang Wang ◽  
Yiyun Chen ◽  
Zhenming Wang ◽  
Baojian Hua
Keyword(s):  
Automated Verification ◽  
Pointer Logic

Implementation of Pointer Logic for Automated Verification

2008 ◽  
Author(s):  
Zhifang Wang ◽  
Yiyun Chen ◽  
Zhenming Wang ◽  
Wei Wang ◽  
Bo Tian
Keyword(s):  
Automated Verification ◽  
Pointer Logic

An Extension to Pointer Logic for Verification

2008 ◽  
Author(s):  
Zhifang Wang ◽  
Yiyun Chen ◽  
Zhenming Wang ◽  
Wei Wang ◽  
Bo Tian
Keyword(s):  
Pointer Logic

Pointer Logic

2008 ◽  
pp. 181-206
Author(s):  
Daniel Kroening ◽  
Ofer Strichman
Keyword(s):  
Pointer Logic
Load More ...
Sign in / Sign up

Export Citation Format

Share Document