Complementary Criteria for Testing Temporal Logic Properties (Q3637251): 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-642-02949-3_6
+Normal rank
@@ Property / OpenAlex ID @@
+W1505422411
@@ Property / OpenAlex ID: W1505422411 / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to Software Testing
@@ Property / cites work: Introduction to Software Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Q4472188
@@ Property / cites work: Q4472188 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4494388
@@ Property / cites work: Q4494388 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4804918
@@ Property / cites work: Q4804918 / rank @@
+Normal rank
@@ Property / cites work @@
+Using Model Checking to Generate Fault Detecting Tests
+Normal rank
@@ Property / cites work @@
+Q4818818
@@ Property / cites work: Q4818818 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards Property Oriented Testing
@@ Property / cites work: Towards Property Oriented Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Approaches to Software Testing
@@ Property / cites work: Formal Approaches to Software Testing / rank @@
+Normal rank