Tag: verification

• Mike Gordon and hardware verification (04 Jan 2023)
  
• Verifying cryptographic protocols, II: a simple example (02 Nov 2022)
  
• Verifying cryptographic protocols, I: Fundamentals (19 Oct 2022)
  
• Verifying distributed systems with Isabelle/HOL, by Martin Kleppmann (12 Oct 2022)
  
• BDDs in HOL: the coolest thing Mike Gordon ever did (17 Aug 2022)
  
• What is the point of formalising mathematics? (22 Jun 2022)