Towards a dereversibilizer: fewer asserts, statically (Q6148113): Difference between revisions

@@ Property / cites work @@
+Horn Clause Solvers for Program Verification
@@ Property / cites work: Horn Clause Solvers for Program Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Infinite-state invariant checking with IC3 and predicate abstraction
+Normal rank
@@ Property / cites work @@
+Analysis and Transformation of Constrained Horn Clauses for Program Verification
+Normal rank
@@ Property / cites work @@
+Optimizing reversible programs
@@ Property / cites work: Optimizing reversible programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q5472880
@@ Property / cites work: Q5472880 / rank @@
+Normal rank
@@ Property / cites work @@
+Reversible computing from a programming language perspective
+Normal rank
@@ Property / cites work @@
+Effective use of SMT solvers for program equivalence checking through invariant-sketching and query-decomposition
+Normal rank
@@ Property / cites work @@
+Dafny: An Automatic Program Verifier for Functional Correctness
+Normal rank
@@ Property / cites work @@
+RSSA: A Reversible SSA Form
@@ Property / cites work: RSSA: A Reversible SSA Form / rank @@
+Normal rank
@@ Property / cites work @@
+Simplification by Cooperating Decision Procedures
@@ Property / cites work: Simplification by Cooperating Decision Procedures / rank @@
+Normal rank
@@ Property / cites work @@
+Encryption and reversible computations. Work-in-progress paper
+Normal rank
@@ Property / cites work @@
+Fundamentals of reversible flowchart languages
@@ Property / cites work: Fundamentals of reversible flowchart languages / rank @@
+Normal rank