Jackson remains the record holder for this category and the only person formally verified by Guinness World Records.

The properties can then be simulated or formally verified.

Additionally, interactive proof assistants allow mathematicians to develop human-readable proofs which are nonetheless formally verified for correctness.

Notably, the first formally verified microkernel, seL4 was verified using Haskell.

Cryptographic protocols can sometimes be verified formally on an abstract level.

The names below refer to theorems formally verified by the IsarMathLib project.

One of the Coyotos project's many objectives was to become the first formally verified operating system.

Once one is versed in the system, it takes about one week of full-time work to have a text-book page formally verified.

It has been formally verified, which means that there is a (machine-checked) mathematical proof that the implementation is consistent with the specification.

Small-scale miners can become formally verified entrepreneurs as the piece of land will be viewed as a formal "title" by financial institutes.