Extending Model Checking with Dynamic Analysis (Q5452713): Difference between revisions

@@ Property / author @@
-Rajeev Joshi
@@ Property / author: Rajeev Joshi / rank @@
-Normal rank
@@ Property / author @@
+Rajeev Joshi
@@ Property / author: Rajeev Joshi / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+JML
@@ Property / describes a project that uses: JML / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Valgrind
@@ Property / describes a project that uses: Valgrind / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SPIN
@@ Property / describes a project that uses: SPIN / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ESC/Java
@@ Property / describes a project that uses: ESC/Java / 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-78163-9_15
+Normal rank
@@ Property / OpenAlex ID @@
+W1512138220
@@ Property / OpenAlex ID: W1512138220 / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Q4531754
@@ Property / cites work: Q4531754 / rank @@
+Normal rank
@@ Property / cites work @@
+Model Checking Software
@@ Property / cites work: Model Checking Software / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738390
@@ Property / cites work: Q4738390 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4426376
@@ Property / cites work: Q4426376 / rank @@
+Normal rank