PROVABLE SOFTWARE SYSTEMS HAVE LOTS OF PROMISE

Summary from the TLDR Web Dev newsletter

Provable software systems guarantee the correct functioning of software by using mathematical logic and proofs. This approach can help to catch bugs and vulnerabilities early on, making systems more reliable and secure. Simple systems that are more provable include an IoT light bulb and a Lego garage with a cryptographic library.