Skip to content

Splattered Brains

Anything Goes

  • About
  • Origins
  • The Gallery
  • Riding The GAP in 2019
  • The 2018 Car Ride through Colorado, Utah and Arizona
  • 2017 Bike Ride in the Canadian Rockies
  • The 2016 KVIITM75 Bike Ride
  • Weekly Photo Challenges

Recent Posts

  • The Trees in Winter January 17, 2021
  • My Feeling of Relief was Premature January 15, 2021
  • Water Colors January 12, 2021
  • The Riemann Hypothesis Explained: Quanta Magazine January 9, 2021
  • Manassas, Virginia January 5, 2021

Archives

Categories

Blog Stats

  • 26,120 hits
Follow Splattered Brains on WordPress.com

Enter your email address to follow this blog and receive notifications of new posts by email.

Join 396 other followers

Translate This Blog

Tag: Formal Verification

Formal Verification Creates Hacker-Proof Code | Quanta Magazine

“Formal Verification“, eh!  I hope this can help address the curse of bad software in the real world, which is a disaster waiting to happen.

via Formal Verification Creates Hacker-Proof Code | Quanta Magazine

Posted on October 29, 2017Categories Engineering, Innovation, TechnologyTags Formal Verification, Quanta Magazine, SoftwareLeave a comment on Formal Verification Creates Hacker-Proof Code | Quanta Magazine
Blog at WordPress.com.