public marks

PUBLIC MARKS with tags TLA & microsoft

16 January 2006 12:30

The TLA Tools Project

by GeorgesMariano
The goal of this project is to develop methods and tools that will permit engineers to apply formal specification and verification to high-level designs of concurrent algorithms and systems. We believe this can significantly improve the design process

PUBLIC TAGS related to tag TLA

del.icio.us +   formal +   logic +   method +   microsoft +   research +   software +  

Active users

GeorgesMariano
last mark : 16/01/2006 12:42