Formal Software Design with Alloy 6

Contents

  • An overview of Alloy
  • Structural design with Alloy
  • Protocol design with Alloy
  • Alloy modelling tips
  • A relational logic primer
  • A temporal logic primer
  • Acknowledgements
  • Bibliography
Formal Software Design with Alloy 6
  • »
  • Search

© Copyright 2021, Julien Brunel, David Chemouil, Alcino Cunha, Nuno Macedo.

Built with Sphinx using a theme provided by Read the Docs.