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 tags logic & del.icio.us

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

April 2005

Logic & Fallacies

by damianmann

del.icio.us logic

1 (2 marks)

PUBLIC TAGS related to tag logic

Active users

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

damianmann
last mark : 24/04/2005 17:21