Software verification

Topic | v1 | created by jjones |

Software verification is a discipline of software engineering whose goal is to assure that software fully satisfies all the expected requirements.


uses Static program analysis

Static program analysis is the analysis of computer software that is performed without actually execu...

subtopic of Computer science

Computer science is the study of computation and information. Computer science deals with theory of c...

used by F*

F* (pronounced F star) is a functional programming language inspired by ML and aimed at program verif...

Edit details Edit relations Attach new author Attach new topic Attach new resource

treated in Software Foundations

The Software Foundations series is a broad introduction to the mathematical underpinnings of reliable...