Experience with inductive assertions for proving programs correct

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

The Semiautomatic Generation of Inductive Assertions for Proving Program Correctness.

1978 ◽  
Author(s):  
Bernard Elspas ◽  
Robert E. Shostak
Keyword(s):  
Program Correctness ◽  
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

scholarly journals Inductive assertions and operational semantics

2006 ◽  
Vol 8 (4-5) ◽  
pp. 359-371 ◽  
Author(s):  
J. Strother Moore
Keyword(s):  
Operational Semantics ◽  
Inductive Assertions
Sign in / Sign up

Export Citation Format

Share Document