Q5016382 (Q5016382): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.03997
@@ Property / arXiv ID: 1907.03997 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4636558
@@ Property / cites work: Q4636558 / rank @@
+Normal rank
@@ Property / cites work @@
+Beyond 2-Safety: Asymmetric Product Programs for Relational Program Verification
+Normal rank
@@ Property / cites work @@
+Product programs and relational program logics
@@ Property / cites work: Product programs and relational program logics / rank @@
+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 @@
+Relational Decomposition
@@ Property / cites work: Relational Decomposition / rank @@
+Normal rank
@@ Property / cites work @@
+Towards Modularly Comparing Programs Using Automated Theorem Provers
+Normal rank
@@ Property / cites work @@
+Relational program reasoning using compiler IR
@@ Property / cites work: Relational program reasoning using compiler IR / rank @@
+Normal rank
@@ Property / cites work @@
+Exploiting synchrony and symmetry in relational verification
+Normal rank
@@ Property / cites work @@
+Static Analysis
@@ Property / cites work: Static Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Automating induction for solving Horn clauses
@@ Property / cites work: Automating induction for solving Horn clauses / rank @@
+Normal rank