A practical comparison of Alloy and Spin
| LEADER | caa a22 4500 | ||
|---|---|---|---|
| 001 | 605516375 | ||
| 003 | CHVBK | ||
| 005 | 20210128100713.0 | ||
| 007 | cr unu---uuuuu | ||
| 008 | 210128e20150301xx s 000 0 eng | ||
| 024 | 7 | 0 | |a 10.1007/s00165-014-0302-2 |2 doi |
| 035 | |a (NATIONALLICENCE)springer-10.1007/s00165-014-0302-2 | ||
| 100 | 1 | |a Zave |D P. |u AT&T Laboratories-Research, Bedminster, NJ, USA |4 aut | |
| 245 | 1 | 2 | |a A practical comparison of Alloy and Spin |h [Elektronische Daten] |c [P. Zave] |
| 520 | 3 | |a Because potential users have to choose a formal method before they can start using one, research on assessing the applicability of specific formal methods might be as effective in encouraging their use as work on the methods themselves. This comparison of Alloy and Spin is based on a demanding project that exploited the full capabilities of both languages and tools. The study exposed issues not apparent from more superficial studies, and resulted in some unexpected conclusions. The paper provides tentative recommendations for two different classes of network protocol, a research agenda for solidifying the recommendations, and a few general lessons learned about research on selection of formal methods. | |
| 540 | |a British Computer Society, 2014 | ||
| 690 | 7 | |a Lightweight modeling and analysis |2 nationallicence | |
| 690 | 7 | |a Protocol verification |2 nationallicence | |
| 690 | 7 | |a Distributed hash table |2 nationallicence | |
| 690 | 7 | |a Chord |2 nationallicence | |
| 773 | 0 | |t Formal Aspects of Computing |d Springer London |g 27/2(2015-03-01), 239-253 |x 0934-5043 |q 27:2<239 |1 2015 |2 27 |o 165 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/s00165-014-0302-2 |q text/html |z Onlinezugriff via DOI |
| 898 | |a BK010053 |b XK010053 |c XK010000 | ||
| 900 | 7 | |a Metadata rights reserved |b Springer special CC-BY-NC licence |2 nationallicence | |
| 908 | |D 1 |a research-article |2 jats | ||
| 949 | |B NATIONALLICENCE |F NATIONALLICENCE |b NL-springer | ||
| 950 | |B NATIONALLICENCE |P 856 |E 40 |u https://doi.org/10.1007/s00165-014-0302-2 |q text/html |z Onlinezugriff via DOI | ||
| 950 | |B NATIONALLICENCE |P 100 |E 1- |a Zave |D P. |u AT&T Laboratories-Research, Bedminster, NJ, USA |4 aut | ||
| 950 | |B NATIONALLICENCE |P 773 |E 0- |t Formal Aspects of Computing |d Springer London |g 27/2(2015-03-01), 239-253 |x 0934-5043 |q 27:2<239 |1 2015 |2 27 |o 165 | ||