Current methods for proving program correctness (Q3911363): Difference between revisions

@@ Property / cites work @@
+Q4164788
@@ Property / cites work: Q4164788 / rank @@
+Normal rank
@@ Property / cites work @@
+Proving assertions about parallel programs
@@ Property / cites work: Proving assertions about parallel programs / rank @@
+Normal rank
@@ Property / cites work @@
+Proving Theorems about LISP Functions
@@ Property / cites work: Proving Theorems about LISP Functions / rank @@
+Normal rank
@@ Property / cites work @@
+Proving Properties of Programs by Structural Induction
+Normal rank
@@ Property / cites work @@
+Program proving: KJumps and functions
@@ Property / cites work: Program proving: KJumps and functions / rank @@
+Normal rank
@@ Property / cites work @@
+Soundness and Completeness of an Axiom System for Program Verification
+Normal rank
@@ Property / cites work @@
+Q5677070
@@ Property / cites work: Q5677070 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5684216
@@ Property / cites work: Q5684216 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5683688
@@ Property / cites work: Q5683688 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5584402
@@ Property / cites work: Q5584402 / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic basis for computer programming
@@ Property / cites work: An axiomatic basis for computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q5626277
@@ Property / cites work: Q5626277 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof of a program
@@ Property / cites work: Proof of a program / rank @@
+Normal rank
@@ Property / cites work @@
+Consistent and complementary formal theories of the semantics of programming languages
+Normal rank
@@ Property / cites work @@
+Parallel programming: An axiomatic approach
@@ Property / cites work: Parallel programming: An axiomatic approach / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic program verification. I: A logical basis and its implementation
+Normal rank
@@ Property / cites work @@
+Logical analysis of programs
@@ Property / cites work: Logical analysis of programs / rank @@
+Normal rank
@@ Property / cites work @@
+Formal verification of parallel programs
@@ Property / cites work: Formal verification of parallel programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5585020
@@ Property / cites work: Q5585020 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4772698
@@ Property / cites work: Q4772698 / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical theory of partial correctness
@@ Property / cites work: Mathematical theory of partial correctness / rank @@
+Normal rank
@@ Property / cites work @@
+Q4124327
@@ Property / cites work: Q4124327 / rank @@
+Normal rank
@@ Property / cites work @@
+Formalization of Properties of Functional Programs
+Normal rank
@@ Property / cites work @@
+Inductive methods for proving properties of programs
+Normal rank
@@ Property / cites work @@
+Axiomatic approach to total correctness of programs
+Normal rank
@@ Property / cites work @@
+Prospects and Limitations of Automatic Assertion Generation for Loop Programs
+Normal rank
@@ Property / cites work @@
+Another recursion induction principle
@@ Property / cites work: Another recursion induction principle / rank @@
+Normal rank
@@ Property / cites work @@
+Q4140351
@@ Property / cites work: Q4140351 / rank @@
+Normal rank
@@ Property / cites work @@
+Verifying properties of parallel programs
@@ Property / cites work: Verifying properties of parallel programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q5614672
@@ Property / cites work: Q5614672 / rank @@
+Normal rank
@@ Property / cites work @@
+A New Incompleteness Result for Hoare's System
@@ Property / cites work: A New Incompleteness Result for Hoare's System / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about programs
@@ Property / cites work: Reasoning about programs / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic basis for proving total correctness of goto-programs
+Normal rank