Experience with inductive assertions for proving programs correct

1971 ◽  
pp. 236-251 ◽  
Author(s):  
Ralph L. London
Keyword(s):  
Inductive Assertions

A Note on Synthesis of Inductive Assertions

1980 ◽  
Vol SE-6 (1) ◽  
pp. 32-39 ◽  
Author(s):  
S.K. Basu
Keyword(s):  
Inductive Assertions

A synthesizer of inductive assertions

1975 ◽  
Author(s):  
Steven M. German ◽  
Ben Wegbreit
Keyword(s):  
Inductive Assertions

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
Sign in / Sign up

Export Citation Format

Share Document