Skip to content

Instantly share code, notes, and snippets.

@MattPD
Last active June 3, 2024 01:14
Show Gist options
  • Save MattPD/71b63a3e1600c2b52e1db80fa2834e60 to your computer and use it in GitHub Desktop.
Save MattPD/71b63a3e1600c2b52e1db80fa2834e60 to your computer and use it in GitHub Desktop.

Correctness in Practice

Formal Methods and Program Analysis in Industry

(draft)

See also: Compilers: correctness, Software Verification Literature Review (https://alastairreid.github.io/RelatedWork/papers/)

2023

  • Lessons from Formally Verified Deployed Software Systems

2022

2021

2020

2019

2018

2015

2010

2009

2007

Talks

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment