Loop Invariant Symbolic Execution for Parallel Programs (Q2891433): Difference between revisions

@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Translation Validation of Loop Optimizations and Software Pipelining in the TVOC Framework
+Normal rank
@@ Property / cites work @@
+Computer aided verification. 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14--20, 2011. Proceedings
+Normal rank
@@ Property / cites work @@
+Q4114748
@@ Property / cites work: Q4114748 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417955
@@ Property / cites work: Q4417955 / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic execution and program testing
@@ Property / cites work: Symbolic execution and program testing / rank @@
+Normal rank
@@ Property / cites work @@
+Model Checking Software
@@ Property / cites work: Model Checking Software / rank @@
+Normal rank
@@ Property / cites work @@
+Collective Assertions
@@ Property / cites work: Collective Assertions / rank @@
+Normal rank
@@ Property / cites work @@
+TASS: the toolkit for accurate scientific software
+Normal rank
@@ Property / cites work @@
+Equivalence Checking of Static Affine Programs Using Widening to Handle Recurrences
+Normal rank