public marks

PUBLIC MARKS from GeorgesMariano with tag method

17 January 2006 05:00

16 January 2006 13:00

16 January 2006 12:00

The TLA Tools Project

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

GeorgesMariano's TAGS related to tag method

bibliography +   bibtex +   Bmethod +   conference +   del.icio.us +   formal +   logic +   microsoft +   research +   software +   TLA +