MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs (Q3510873): Difference between revisions

@@ Property / describes a project that uses @@
+NuSMV
@@ Property / describes a project that uses: NuSMV / 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-540-68746-7_20
+Normal rank
@@ Property / OpenAlex ID @@
+W1607121733
@@ Property / OpenAlex ID: W1607121733 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2766555
@@ Property / cites work: Q2766555 / rank @@
+Normal rank
@@ Property / cites work @@
+NuSMV: A new symbolic model checker
@@ Property / cites work: NuSMV: A new symbolic model checker / rank @@
+Normal rank
@@ Property / cites work @@
+Q4493881
@@ Property / cites work: Q4493881 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4791838
@@ Property / cites work: Q4791838 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Technology for Verification and Analysis
+Normal rank
@@ Property / cites work @@
+A space-efficient on-the-fly algorithm for real-time model checking
+Normal rank
@@ Property / cites work @@
+Q3911403
@@ Property / cites work: Q3911403 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4270078
@@ Property / cites work: Q4270078 / rank @@
+Normal rank