Blogmarks.net is a social bookmarking service.

Founded in late 2003 and heartquartered in France, we are non-profit and independant.

We believe in the open web, think internet services should be sustainable, build for the long term.

While we are re-launching the service, we only accept new members through invitation.

PUBLIC MARKS with tag TLA

January 2006

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

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

June 2005

A tutorial guide to Xtla

by timseal

TLA code

1 (2 marks)

PUBLIC TAGS related to tag TLA

Active users

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

timseal
last mark : 07/06/2005 20:54