Infinite-state invariant checking with IC3 and predicate abstraction (Q2363814): Difference between revisions

@@ Property / describes a project that uses @@
+CTIGAR
@@ Property / describes a project that uses: CTIGAR / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+nuXmv
@@ Property / describes a project that uses: nuXmv / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MathSAT5
@@ Property / describes a project that uses: MathSAT5 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PKind
@@ Property / describes a project that uses: PKind / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Kind 2
@@ Property / describes a project that uses: Kind 2 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+JKind
@@ Property / describes a project that uses: JKind / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Tip
@@ Property / describes a project that uses: Tip / 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/s10703-016-0257-4
+Normal rank
@@ Property / OpenAlex ID @@
+W2522207775
@@ Property / OpenAlex ID: W2522207775 / rank @@
+Normal rank