| Alloy Language |
Article Index for Alloy |
Website Links For Alloy |
Information AboutAlloy Language |
| CATEGORIES ABOUT ALLOY LANGUAGE | |
| formal specification languages | |
|
Alloy specifications can be checked using the Alloy Analyzer . The Alloy Analyzer supports the analysis of partial models. As a result, it can perform incremental analysis of models as they are constructed, and provide immediate feedback to users. EXTERNAL LINKS |
|
|