Hoare's logic for nondeterministic regular programs: A nonstandard approach (Q1822934): Difference between revisions

@@ Property / cites work @@
+Q4198727
@@ Property / cites work: Q4198727 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3939224
@@ Property / cites work: Q3939224 / rank @@
+Normal rank
@@ Property / cites work @@
+A complete logic for reasoning about programs via nonstandard model theory. II
+Normal rank
@@ Property / cites work @@
+Ten years of Hoare's logic: A survey. II: Nondeterminism
+Normal rank
@@ Property / cites work @@
+Proving program inclusion using Hoare's logic
@@ Property / cites work: Proving program inclusion using Hoare's logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4741695
@@ Property / cites work: Q4741695 / rank @@
+Normal rank
@@ Property / cites work @@
+The axiomatic semantics of programs based on Hoare's logic
+Normal rank
@@ Property / cites work @@
+Semantics of looping programs in Propositional Dynamic Logic
+Normal rank
@@ Property / cites work @@
+Flow diagrams, turing machines and languages with only two formation rules
+Normal rank
@@ Property / cites work @@
+Recursive Programs as Definitions in First-Order Logic
+Normal rank
@@ Property / cites work @@
+Soundness and Completeness of an Axiom System for Program Verification
+Normal rank
@@ Property / cites work @@
+Programs and program verifications in a general setting
+Normal rank
@@ Property / cites work @@
+On the strength of “sometimes” and “always” in program verification
+Normal rank
@@ Property / cites work @@
+A PROPERTY OF 2‐SORTED PEANO MODELS AND PROGRAM VERIFICATION
+Normal rank
@@ Property / cites work @@
+Guarded commands, nondeterminacy and formal derivation of programs
+Normal rank
@@ Property / cites work @@
+Q5584402
@@ Property / cites work: Q5584402 / rank @@
+Normal rank
@@ Property / cites work @@
+A simple dynamic logic
@@ Property / cites work: A simple dynamic logic / rank @@
+Normal rank
@@ Property / cites work @@
+First-order dynamic logic
@@ Property / cites work: First-order dynamic logic / 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 @@
+Q3696488
@@ Property / cites work: Q3696488 / rank @@
+Normal rank
@@ Property / cites work @@
+Some general incompleteness results for partial correctness logics
+Normal rank
@@ Property / cites work @@
+On the termination of program schemas
@@ Property / cites work: On the termination of program schemas / rank @@
+Normal rank
@@ Property / cites work @@
+Q5626601
@@ Property / cites work: Q5626601 / rank @@
+Normal rank
@@ Property / cites work @@
+On the notion of expressiveness and the rule of adaptation
+Normal rank
@@ Property / cites work @@
+Non-standard algorithmic and dynamic logic
@@ Property / cites work: Non-standard algorithmic and dynamic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Some questions about expressiveness and relative completeness in Hoare's logic
+Normal rank
@@ Property / cites work @@
+STRUCTURED NONSTANDARD DYNAMIC LOGIC
@@ Property / cites work: STRUCTURED NONSTANDARD DYNAMIC LOGIC / rank @@
+Normal rank
@@ Property / cites work @@
+A simple proof for the completeness of Floyd's method
+Normal rank
@@ Property / cites work @@
+Total correctness in nonstandard logics of programs
+Normal rank
@@ Property / cites work @@
+Q5537599
@@ Property / cites work: Q5537599 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5560258
@@ Property / cites work: Q5560258 / rank @@
+Normal rank