Flock 2015 has ended
Back To Schedule
Thursday, August 13 • 3:30pm - 4:15pm
Building working software: An introduction to formal verification

Sign up or log in to save this to your schedule, view media, leave feedback and see who's attending!

We will talk about software development using modern tooling such as theorem assistants, advanced type theory techniques, and other methods of formally verifying code. We'll discuss some of the advantages and disadvantages of several methods and motivate the need to move in the direction of making heavier use of such tooling.

avatar for Rick Elrod

Rick Elrod

Software Engineer - Community Platform Engineering, Red Hat, Inc.
I work on the Community Platform Engineering team at Red Hat. I work primarily with the Fedora Infrastructure team and do a mix of sysadmin and development.

Thursday August 13, 2015 3:30pm - 4:15pm PDT
Room 3 - Rackspace Room

Attendees (0)