A practical comparison of Alloy and Spin

@article{Zave2014APC,
  title={A practical comparison of Alloy and Spin},
  author={P. Zave},
  journal={Formal Aspects of Computing},
  year={2014},
  volume={27},
  pages={239-253}
}
  • P. Zave
  • Published 2014
  • Computer Science
  • Formal Aspects of Computing
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… Expand
30 Citations
Synthesis of Property-Preserving Mappings
  • 1
  • PDF
A web-based social environment for Alloy
  • 2
  • PDF
Synthesis of Property-Preserving Platform Mappings
Applying Formal Methods to Networking: Theory, Techniques, and Applications
  • 40
  • PDF
Improving the Visualization of Alloy Instances
  • 7
  • PDF
Verification of the Chord protocol in TLA
  • 1
...
1
2
3
...

References

SHOWING 1-10 OF 34 REFERENCES
The SPIN Model Checker - primer and reference manual
  • 1,936
Using lightweight modeling to understand chord
  • 86
  • PDF
Almost-Invariants: From Bugs in Distributed Systems to Invariants
  • 8
  • PDF
Software Abstractions - Logic, Language, and Analysis
  • 1,661
  • PDF
Understanding SIP through Model-Checking
  • 24
  • PDF
Reasoning about rings
  • 254
...
1
2
3
4
...