Program Correctness

Programming Talks tagged with: "Program Correctness"

Jean Yang on An Axiomatic Basis for Computer Programming

Meetup: Paper: Slides: Audio: --------------------------------------------------------------------------------------------- Sponsored by The Ladders (@TheLaddersDev) --------------------------------------------------------------------------------------------- Description --------------- Our lives now run on software. Bugs are becoming not just annoyances for software developers, but sources of potentially catastrophic failures. A careless programmer mistake could leak our social security numbers or crash our cars. While testing provides some assurance, it is ...