Software verification


Topic | v1 | created by jjones |
Description

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


Relations

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
Resources

treated in Software Foundations

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