Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
sav07_lecture_25 [2007/06/18 19:08] ghid.maatouk |
sav07_lecture_25 [2007/06/21 10:22] lvariu |
||
---|---|---|---|
Line 69: | Line 69: | ||
Slides: {{esc_java.ppt| ESC/Java Presentation}} | Slides: {{esc_java.ppt| ESC/Java Presentation}} | ||
+ | |||
+ | |||
===== 9. The Alloy Analyzer ===== | ===== 9. The Alloy Analyzer ===== | ||
**Lucian Variu** | **Lucian Variu** | ||
+ | |||
+ | Paper: the book 'Software Abstractions' by Daniel Jackson | ||
+ | |||
+ | Slides: {{alloy-sav.ppt|}} | ||
===== 10. ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement ===== | ===== 10. ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement ===== |