|
|
F#unctional Londoners Meetup Group:Proving program termination with F#
Proving program termination with F#
In recent years we have seen great progress made in the area of automatic source-level static analysis tools. However, most of today’s program verification tools are limited to properties that guarantee the absence of bad events (safety properties). Until now no formal software analysis tool has provided fully automatic support for proving properties that ensure that good events eventually happen (liveness properties).
In this talk, Dr Byron Cook presents such a tool, which handles liveness properties of large systems written in C. Liveness properties are described in an extension of the specification language used in the SDV system. We have used the tool to automatically prove critical liveness properties of Windows device drivers and found several previously unknown liveness bugs.
WANT TO LEARN MORE? THEN CHECK OUT OUR EXPERT WORKSHOPS!
Progressive F# Tutorials 2012The first Progressive F# Tutorials were a great success -- and we return on Nov 1-2 2012 for more great, hands-on and expert-led tutorials! Tickets are just £50 if booked before Dec 1 -- so get your skates on. Get the latest updates here
Robert Pickering's Beginning F# Workshop Robert Pickering's Beginning F# Workshop is a two day course that will teach you all about F#, an exciting new language that has evolved from a Microsoft Research project into a first class citizen of Visual Studio 2010. You will discover how F# can be used to express programs concisely and efficiently; you’ll also learn how to start having fun with this enormously productive language. Find out more here
Tomas Petricek’s and Phil Trelford’s Real-World F# Programming
Tomas Petricek’s and Phil Trelford’s two day course will teach you how to solve real-world .NET problems in F#. Will guide you through several areas where F# can help you be more productive and solve your problems faster, with code that is efficient and easy to maintain. The examples used in this course are based on experience of developing successful commercial applications in F#.
After attending, you’ll be able to recognize where using F# can save your time and money and you’ll know how to integrate F# components in the .NET ecosystem. Find out more here
Tomas Petricek & Phil Trelford's Functional Programming in .NET Tomas Petricek’s and Phil Trelford’s two-day Functional Programming in .NET course explains concepts that you need to write modern applications for .NET using F#, C# with LINQ as well as current and upcoming .NET technologies that arise from functional programming ideas.
Learning several simple functional concepts will help you understand these technologies and use them effectively. This means that the course will make you a better programmer even if you’re not going to immediately start using F#. This course is based on experience of developing commercial applications in F# and we’ll discuss good ways of introducing F# to your daily work.. Find out more here
ABOUT BYRON COOK
|
Dr. Byron Cook is a principal researcher at Microsoft's laboratory at Cambridge University where he leads the Verification and Automated Reasoning Group. Byron is also full professor of computer science at Queen Mary, University of London.
More about Byron Cook
|
ABOUT THE F#UNCTIONAL LONDONERS MEETUP GROUP
|
PODCAST PROVING PROGRAM TERMINATION WITH F#
|
|
|
PROGRESSIVE .NET PODCASTS
|
OTHER PROGRESSIVE .NET EVENTS
|
Uncle Bob's Advanced Test Driven Development in NY
3 DAY COURSE. Featuring Uncle Bob (Robert C. Martin)
New York, Tuesday, May 29th
|
|
Progressive .NET Tutorials 2012
CONFERENCE (3 DAYS)
London, Tuesday, May 29th
BOOK NOW!
|
|
2012 Progressive F# Tutorials NYC
CONFERENCE (2 DAYS)
New York City, Tuesday, June 5th
BOOK NOW!
|
|
Zen and the Art of Software
FREE EVENT:
In The Brain of Mark Rendle
London, Monday, June 11th
|
|
Jon & Kevlin's Agile Development Course
3 DAY COURSE. Featuring Jon Jagger
London, Monday, June 18th
|
|
Simon Brown's Enterprise Software Developer
3 DAY COURSE. Featuring Simon Brown
London, Monday, June 18th
|
|
QCon New York 2012
CONFERENCE (3 DAYS)
New York, Monday, June 18th
BOOK NOW!
|
|
David Laribee's Leading Lean/Agile Teams
2 DAY COURSE. Featuring David Laribee
New York, Thursday, June 21st
|
|
|
|
