Testing-Based Formal Verification for Theorems and Its Application in Software Specification Verification (Q2827442)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Testing-Based Formal Verification for Theorems and Its Application in Software Specification Verification |
scientific article |
Statements
Testing-Based Formal Verification for Theorems and Its Application in Software Specification Verification (English)
0 references
19 October 2016
0 references