RTLWS: Modeling systems with Alloy

Posted Nov 8, 2012 23:04 UTC (Thu) by epa (subscriber, #39769)
In reply to: RTLWS: Modeling systems with Alloy by david.a.wheeler
Parent article: RTLWS: Modeling systems with Alloy

The point is that Alloy has just the same downside as traditional testing: it can be used to prove the presence of bugs, but not their absence. Nothing wrong with that, but the article seems to suggest otherwise.