Complexity of Synthesizing Inductive Assertions

Ben Wegbreit

doi:10.1145/322017.322029

Complexity of Synthesizing Inductive Assertions

Journal of the ACM ◽

10.1145/322017.322029 ◽

1977 ◽

Vol 24 (3) ◽

pp. 504-512 ◽

Cited By ~ 8

Author(s):

Ben Wegbreit

Keyword(s):

Inductive Assertions

Download Full-text

Experience with inductive assertions for proving programs correct

Lecture Notes in Mathematics - Symposium on Semantics of Algorithmic Languages ◽

10.1007/bfb0059700 ◽

1971 ◽

pp. 236-251 ◽

Cited By ~ 4

Author(s):

Ralph L. London

Keyword(s):

Inductive Assertions

Download Full-text

The Semiautomatic Generation of Inductive Assertions for Proving Program Correctness.

10.21236/ada061919 ◽

1978 ◽

Author(s):

Bernard Elspas ◽

Robert E. Shostak

Keyword(s):

Program Correctness ◽

Inductive Assertions

Download Full-text

Inductive Assertions and Operational Semantics

Lecture Notes in Computer Science - Correct Hardware Design and Verification Methods ◽

10.1007/978-3-540-39724-3_27 ◽

2003 ◽

pp. 289-303 ◽

Cited By ~ 9

Author(s):

J Strother Moore

Keyword(s):

Operational Semantics ◽

Inductive Assertions

Download Full-text

A note on the automatic generation of inductive assertions

Lecture Notes in Computer Science - Mathematical Foundations of Computer Science 1976 ◽

10.1007/3-540-07854-1_181 ◽

1976 ◽

pp. 244-249

Author(s):

Wolfgang Coy

Keyword(s):

Automatic Generation ◽

Inductive Assertions

Download Full-text

Inductive Assertions for Analyzing Reachability Sets

Application and Theory of Petri Nets - Informatik-Fachberichte ◽

10.1007/978-3-642-68353-4_28 ◽

1982 ◽

pp. 168-171

Author(s):

Horst Müller

Keyword(s):

Reachability Sets ◽

Inductive Assertions

Download Full-text

A Note on Synthesis of Inductive Assertions

IEEE Transactions on Software Engineering ◽

10.1109/tse.1980.230460 ◽

1980 ◽

Vol SE-6 (1) ◽

pp. 32-39 ◽

Cited By ~ 6

Author(s):

S.K. Basu

Keyword(s):

Inductive Assertions

Download Full-text

A synthesizer of inductive assertions

10.1145/1499949.1500020 ◽

1975 ◽

Author(s):

Steven M. German ◽

Ben Wegbreit

Keyword(s):

Inductive Assertions

Download Full-text

Mechanized Information Flow Analysis through Inductive Assertions

2008 Formal Methods in Computer-Aided Design ◽

10.1109/fmcad.2008.ecp.33 ◽

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

Download Full-text

A Quantifier-Elimination Based Heuristic for Automatically Generating Inductive Assertions for Programs

Journal of Systems Science and Complexity ◽

10.1007/s11424-006-0307-x ◽

2006 ◽

Vol 19 (3) ◽

pp. 307-330 ◽

Cited By ~ 23

Author(s):

Deepak Kapur

Keyword(s):

Quantifier Elimination ◽

Inductive Assertions

Download Full-text

Inductive assertions and operational semantics

International Journal on Software Tools for Technology Transfer ◽

10.1007/s10009-005-0180-2 ◽

2006 ◽

Vol 8 (4-5) ◽

pp. 359-371 ◽

Cited By ~ 1

Author(s):

J. Strother Moore

Keyword(s):

Operational Semantics ◽

Inductive Assertions

Download Full-text