Test generation from P systems using model checking (Q987969): Difference between revisions

@@ Property / describes a project that uses @@
+NuSMV
@@ Property / describes a project that uses: NuSMV / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+P-Lingua
@@ Property / describes a project that uses: P-Lingua / 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.1016/j.jlap.2010.03.007
+Normal rank
@@ Property / OpenAlex ID @@
+W2011118910
@@ Property / OpenAlex ID: W2011118910 / 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 @@
+Q3336675
@@ Property / cites work: Q3336675 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3505122
@@ Property / cites work: Q3505122 / rank @@
+Normal rank
@@ Property / cites work @@
+An Overview of P-Lingua 2.0
@@ Property / cites work: An Overview of P-Lingua 2.0 / rank @@
+Normal rank
@@ Property / cites work @@
+On Testing P Systems
@@ Property / cites work: On Testing P Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4210112
@@ Property / cites work: Q4210112 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4472251
@@ Property / cites work: Q4472251 / rank @@
+Normal rank
@@ Property / cites work @@
+Finite state based testing of P systems
@@ Property / cites work: Finite state based testing of P systems / rank @@
+Normal rank
@@ Property / cites work @@
+Testing Non-deterministic Stream X-machine Models and P systems
+Normal rank
@@ Property / cites work @@
+Interpolants and Symbolic Model Checking
@@ Property / cites work: Interpolants and Symbolic Model Checking / rank @@
+Normal rank
@@ Property / cites work @@
+The temporal semantics of concurrent programs
@@ Property / cites work: The temporal semantics of concurrent programs / rank @@
+Normal rank
@@ Property / cites work @@
+Computing with membranes
@@ Property / cites work: Computing with membranes / rank @@
+Normal rank
@@ Property / cites work @@
+Membrane computing. An introduction.
@@ Property / cites work: Membrane computing. An introduction. / rank @@
+Normal rank
@@ Property / cites work @@
+Q3406469
@@ Property / cites work: Q3406469 / rank @@
+Normal rank