inductive assertions
Recently Published Documents

TOTAL DOCUMENTS

14
(FIVE YEARS 0)

H-INDEX

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

Mechanized Information Flow Analysis through Inductive Assertions

2008 ◽  
Author(s):  
Warren A. Hunt Jr. ◽  
Robert Bellarmine Krug ◽  
Sandip Ray ◽  
William D. Young
Keyword(s):  
Information Flow ◽  
Flow Analysis ◽  
Information Flow Analysis ◽  
Inductive Assertions

scholarly journals Parameterized Verification with Automatically Computed Inductive Assertions?

2001 ◽  
pp. 221-234 ◽  
Author(s):  
Tamarah Arons ◽  
Amir Pnueli ◽  
Sitvanit Ruah ◽  
Ying Xu ◽  
Lenore Zuck
Keyword(s):  
Parameterized Verification ◽  
Inductive Assertions

Complexity of Synthesizing Inductive Assertions

1977 ◽  
Vol 24 (3) ◽  
pp. 504-512 ◽  
Author(s):  
Ben Wegbreit
Keyword(s):  
Inductive Assertions
Load More ...
Sign in / Sign up

Export Citation Format

Share Document