public marks

PUBLIC MARKS from GeorgesMariano with tags del.icio.us & research

May 2006

April 2006

January 2006

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

Abrial +   access +   ajax +   automatic +   Bmethod +   CDuce +   cfengine +   check +   chimie +   cms +   compiler +   component +   conference +   configuration +   Coq +   csp +   cursus +   debian +   design +   Deveaux +   development +   device +   dom +   driver +   eclipse +   Eiffel +   epn +   event +   expat +   faq +   Filali +   formal +   formal-method +   formal-methods +   formal:linux +   forum +   french +   gnu/linux +   gutenberg +   hardware +   Herrb +   HeVeA +   IRIT +   java +   javascript +   LAAS +   lang:french +   languages +   latex +   LIFL +   linux +   LUG +   management +   math +   memory +   Menhir +   method +   meyer +   microsoft +   model-checking +   modeling +   OCaml +   opensource +   page +   physique +   plugin +   podcast +   programming +   project +   projet +   Pstricks +   railway +   reference +   research +   safecode +   secure +   signal +   sûreté +   software +   specification +   svg +   sysadmin +   systems +   tcl +   tcltk +   testing +   tex +   tool +   tools +   tutorial +   uml +   unix +   Val-Libre +   verification +   visualization +   web +   WhosWho +   wiki +   xml +   zope +