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

@@ Property / describes a project that uses @@
+Java PathFinder
@@ Property / describes a project that uses: Java PathFinder / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SpecExplorer
@@ Property / describes a project that uses: SpecExplorer / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+NModel
@@ Property / describes a project that uses: NModel / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+AGEDIS
@@ Property / describes a project that uses: AGEDIS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+STP
@@ Property / describes a project that uses: STP / 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 @@
+CUTE
@@ Property / describes a project that uses: CUTE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Boogie
@@ Property / describes a project that uses: Boogie / 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 @@
+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
@@ Property / full work available at URL @@
+https://doi.org/10.1134/s0361768809040057
+Normal rank
@@ Property / OpenAlex ID @@
+W2144950612
@@ Property / OpenAlex ID: W2144950612 / rank @@
+Normal rank