RHLE: modular deductive verification of relational \(\forall \exists\) properties (Q6176567): Difference between revisions

@@ Property / OpenAlex ID @@
+W3107663325
@@ Property / OpenAlex ID: W3107663325 / rank @@
+Normal rank
@@ Property / cites work @@
+The existence of refinement mappings
@@ Property / cites work: The existence of refinement mappings / rank @@
+Normal rank
@@ Property / cites work @@
+Verified Software Toolchain
@@ Property / cites work: Verified Software Toolchain / rank @@
+Normal rank
@@ Property / cites work @@
+Beyond 2-Safety: Asymmetric Product Programs for Relational Program Verification
+Normal rank
@@ Property / cites work @@
+Secure information flow by self-composition
@@ Property / cites work: Secure information flow by self-composition / rank @@
+Normal rank
@@ Property / cites work @@
+Formal certification of code-based cryptographic proofs
+Normal rank
@@ Property / cites work @@
+Simple relational correctness proofs for static analyses and program transformations
+Normal rank
@@ Property / cites work @@
+Synthesis of Circular Compositional Program Proofs via Abduction
+Normal rank
@@ Property / cites work @@
+Q2763999
@@ Property / cites work: Q2763999 / 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 @@
+Resources, concurrency, and local reasoning
@@ Property / cites work: Resources, concurrency, and local reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Static Analysis
@@ Property / cites work: Static Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Constraint-based relational verification
@@ Property / cites work: Constraint-based relational verification / rank @@
+Normal rank
@@ Property / cites work @@
+Reverse Hoare Logic
@@ Property / cites work: Reverse Hoare Logic / rank @@
+Normal rank