Model checking for symbolic-heap separation logic with inductive predicates (Q2828247): Difference between revisions

@@ Property / author @@
-Max I. Kanovich
@@ Property / author: Max I. Kanovich / rank @@
-Normal rank
@@ Property / author @@
+Max I. Kanovich
@@ Property / author: Max I. Kanovich / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Cyclist
@@ Property / describes a project that uses: Cyclist / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+coreStar
@@ Property / describes a project that uses: coreStar / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Predator
@@ Property / describes a project that uses: Predator / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SLAyer
@@ Property / describes a project that uses: SLAyer / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+VeriFast
@@ Property / describes a project that uses: VeriFast / 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.1145/2837614.2837621
+Normal rank
@@ Property / OpenAlex ID @@
+W2284409231
@@ Property / OpenAlex ID: W2284409231 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2828247