[Coq, VST, CompCert]

Formal methods: https://en.wikipedia.org/wiki/Formal_methods

Formal specification: https://en.wikipedia.org/wiki/Formal_specification

Implementation of formal specification: https://en.wikipedia.org/wiki/Anti-pattern#Software_engineer...

Formal verification: https://en.wikipedia.org/wiki/Formal_verification

From "Why Don't People Use Formal Methods?" https://news.ycombinator.com/item?id=18965964 :

> Which universities teach formal methods?

> - q=formal+verification https://www.class-central.com/search?q=formal+verification

> - q=formal+methods https://www.class-central.com/search?q=formal+methods

> Is formal verification a required course or curriculum competency for any Computer Science or Software Engineering / Computer Engineering degree programs?

Can there still be side channel attacks in formally verified systems? Can e.g. TLA+ help with that at all?