Symbolic execution based on language transformation (Q1749128): Difference between revisions

@@ Property / describes a project that uses @@
+DART
@@ Property / describes a project that uses: DART / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+KOOL
@@ Property / describes a project that uses: KOOL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+K Prover
@@ Property / describes a project that uses: K Prover / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+STP
@@ Property / describes a project that uses: STP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+z3
@@ Property / describes a project that uses: z3 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CUTE
@@ Property / describes a project that uses: CUTE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Maude
@@ Property / describes a project that uses: Maude / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Pex
@@ Property / describes a project that uses: Pex / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+K tool
@@ Property / describes a project that uses: K tool / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+K-Java
@@ Property / describes a project that uses: K-Java / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+KLOVERA
@@ Property / describes a project that uses: KLOVERA / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2291243181
@@ Property / OpenAlex ID: W2291243181 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1749128