Blog Post

ICSE 2011: John Rushby - Formal Methods, Verification and Some Computing History

Sign in to queue

The Discussion

  • User profile image

    Syntax Error ! Devil

  • User profile image

    Very interesting interview.  I started re-reading GEB: an Eternal Golden Braid, and have a new appreciation for chapter II, having become more interested in formal systems lately.  I attribute that desire to many Channel9 conversations which have lead in this direction; so I found the discussion on formal systems in this interview particularly interesting.  The concept of theorem provers, and how they work became much clearer after reading GEB chapter II.  I think I finally understand how you can perform formal verification of programs against lower level theorems and axioms, as it relates to all languages.  It's a very fascinating subject and I have a lot more to learn, so it's great to be able to tune into this conversation, and just think about.  Thanks! Big Smile

  • User profile image

    @Richard.Hein: Then you'll also like the one with Grigore Rosu that will air tomorrow... Wink

Add Your 2 Cents