Fairness modulo theory: a new approach to LTL software model checking (Q1702910): Difference between revisions

@@ Property / describes a project that uses @@
+LTLAutomizer
@@ Property / describes a project that uses: LTLAutomizer / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SMTInterpol
@@ Property / describes a project that uses: SMTInterpol / 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 @@
+SPOT
@@ Property / describes a project that uses: SPOT / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Ultimate Kojak
@@ Property / describes a project that uses: Ultimate Kojak / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Ultimate
@@ Property / describes a project that uses: Ultimate / 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-319-21690-4_4
+Normal rank
@@ Property / OpenAlex ID @@
+W1209505024
@@ Property / OpenAlex ID: W1209505024 / rank @@
+Normal rank