Dependable Software by Design: Model-Checking Tool
sduford on May 22 2006 | Filed under: Computers, Software
Another interesting entry from the Scientific American blog:
Scientific American: Dependable Software by Design
“Computers fly our airliners and run most of the world’s banking, communications, retail and manufacturing systems. Now powerful analysis tools will at last help software engineers ensure the reliability of their designs.”
This article describes a new research tool from MIT called Alloy Analyzer. [...]
