Specification Languages

concepts · 1 notes linked

Related: Leslie Lamport · Formal Verification · Distributed Systems

Notes

• Computing Expert Says Programmers Need More Math | Quanta Magazine — Leslie Lamport argues formal specification and math are essential for correct software