Towards a small model theorem for data independent systems in Alloy
<p>Alloy is an extension of first-order logic for modelling software systems. Alloy has a fully automatic analyser which attempts to refute Alloy formulae by searching for counterexamples within a finite scope. However, failure to find a counterexample does not prove the formula correct. A sys...
| Príomhchruthaitheoir: | |
|---|---|
| Formáid: | Journal article |
| Teanga: | English |
| Foilsithe / Cruthaithe: |
Elsevier
2005
|
| Ábhair: |