0
comment
on 11/15/2011 11:37 PM
Tonight my colleague Byron Cook from MSR Cambridge will be speaking at the F#unctional Londoners meetup group Byron Cook: Proving program termination with F# Wednesday, November 16, 2011, 6:30 PM The Skills Matter eXchange 116-120 Goswell Road,  London (map) 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 pr[...]
>> Read the full article on blogs.msdn.com
.
IntelliFactory Offices Copyright (c) 2011-2012 IntelliFactory. All rights reserved.
Home | Products | Consulting | Trainings | Blogs | Jobs | Contact Us
Built with WebSharper