May 2006
April 2006
mysqltcl - Tcl Mysql Interface (version 3.02)
Mysqltcl is a simple API for Mysql-Database and Tcl scripting language.
March 2006
February 2006
January 2006
SystemC: Welcome
by 3 othersSystemC provides hardware-oriented constructs within the context of C++ as a class library implemented in standard C++. Its use spans design and verification from concept to implementation in hardware and software.
Diffusion des savoirs de l'École normale supérieure
Fiabilité des logiciels, de l’A380 à Microsoft par David Monniaux (CNRS)
Why: a software verification tool
Why aims at being a verification conditions generator (VCG) back-end for other verification tools. It provides a powerful input language including higher-order functions, polymorphism, references, arrays and exceptions. It generates proof obligations for
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
1
(14 marks)
