good wiki

Formal verification

In the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of a system with respect to a certain formal specification or property, using formal methods of mathematics. Formal verification is a key incentive for formal specification of systems, and is at the core of formal methods.

More at Wikipedia

About

You might be interested in

Automated theorem proving

Automated theorem proving (also known as ATP or automated deduction) is a subfield of automated reasoning and mathematical logic dealing with proving mathematical theorems by computer programs.

Computer hardware

Computer hardware refers to the physical components that make up a computer system.

Computer security

Computer security refers to the protection of computer systems and data from unauthorized access, damage, or theft.

C programming language

Mathematical proof

A mathematical proof is a rigorous argument that validates the truth of a mathematical statement.

Mathematics

Mathematics is a branch of science that deals with the study of numbers, quantities, and shapes.

Software

Software is a set of instructions or programs that tell a computer how to perform specific tasks.