▽The ASTRÉE Static Analyzer
●07/28 03:06
The Astrée Static Analyzer
Centre National de la Recherche ScientifiqueÉcole Normale SupérieureINRIA (since Sep. 2007)
Participants:
Patrick Cousot (project leader), Radhia Cousot,J辿r担me Feret,Antoine Min辿,Xavier Rival
Former participants:
Bruno Blanchet (Nov. 2001 — Nov. 2003),David Monniaux (Nov. 2001 — Aug. 2007),Laurent Mauborgne (Nov. 2001 — Aug. 2010).

▽The LEGO Proof Assistant
●07/27 17:45
Next: What is LEGO?
The LEGO Proof Assistant
Not in any way associated with the LEGO Group of Companies, nor created or endorsed by the LEGO Group.
What is LEGO?
LEGO projects
LEGO system and documentation by release -- including the LEGO Library.
Current Release Version 1.3.1 (November 1998)
Previous Release Version 1.3 (June 1998)
Old Release Version 1.2 (1995)
Literature
Example proof developme

▽Splint - Related Links
●07/29 05:04
Valgrind is an open-source memory debugger for x86 GNU-Linux
CenterLine’s C++Expert also does run-time memory checking.Scott Meyer’s ”Effective C++” books.
Great Circle is a glorified garbage collector.
Immunix StackGuard
Numega’s Bounds Checker
Parasoft’s Insure++
Rational Software’s Purify
The National Physical Laboratory of the United Kingdom offers an ISO C validation service. It uses both sta

▽Pointer Assertion Logic
●06/15 16:17
See also the MONA project.PALE is implemented by Anders M〓ller at Aarhus University.
Copyright © 2000-2007 Department of Computer Science, Aarhus University. Please send comments to amoeller@cs.au.dk.

▽SDCR Formal Methods Working Group
●02/07 23:20
Strategic Directions in Computing Research
Formal Methods Working Group
Group Scope and Goals
Research in formal methods is concerned with the development and use of mathematically-based languages, techniques, and tools to support the specification and verification of software and hardware systems.
Group Report
Formal Methods: State of the Art and Future Directions, Ed Clarke and Jeannette Wing, A