Integration of verification methods for program systems (Q1040327): Difference between revisions

@@ Property / describes a project that uses @@
+JML
@@ Property / describes a project that uses: JML / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+UniTESK
@@ Property / describes a project that uses: UniTESK / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Pex
@@ Property / describes a project that uses: Pex / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TestNG
@@ Property / describes a project that uses: TestNG / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ASTREE
@@ Property / describes a project that uses: ASTREE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+jCUTE
@@ Property / describes a project that uses: jCUTE / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4531754
@@ Property / cites work: Q4531754 / rank @@
+Normal rank
@@ Property / cites work @@
+The octagon abstract domain
@@ Property / cites work: The octagon abstract domain / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754081
@@ Property / cites work: Q2754081 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4414726
@@ Property / cites work: Q4414726 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4426387
@@ Property / cites work: Q4426387 / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Model-Based Software Testing and Analysis with C#
@@ Property / cites work: Model-Based Software Testing and Analysis with C# / rank @@
+Normal rank
@@ Property / cites work @@
+Q2753772
@@ Property / cites work: Q2753772 / rank @@
+Normal rank
@@ Property / cites work @@
+Combining test case generation and runtime verification
+Normal rank
@@ Property / cites work @@
+FM 2005: Formal Methods
@@ Property / cites work: FM 2005: Formal Methods / rank @@
+Normal rank
@@ Property / cites work @@
+Test generation for compilers and other formal text processors
+Normal rank
@@ Property / cites work @@
+Object-oriented description of graph data structures
+Normal rank
@@ Property / cites work @@
+An approach to creating development environments for a wide class of programming languages
+Normal rank
@@ Property / cites work @@
+Q4666122
@@ Property / cites work: Q4666122 / rank @@
+Normal rank