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

@@ Property / describes a project that uses @@
+VCC
@@ Property / describes a project that uses: VCC / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Java PathFinder
@@ Property / describes a project that uses: Java PathFinder / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+KLEE
@@ Property / describes a project that uses: KLEE / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-27940-9_27
+Normal rank
@@ Property / OpenAlex ID @@
+W2222734577
@@ Property / OpenAlex ID: W2222734577 / rank @@
+Normal rank
@@ 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