.. AlloyBook documentation master file, created by sphinx-quickstart on Sat Feb 29 17:02:55 2020. You can adapt this file completely to your liking, but it should at least contain the root `toctree` directive. Formal Software Design with Alloy 6 ============================================== This book is an introduction to formal software specification and analysis with `Alloy 6 `_. In this (latest) version, Alloy already allows the specification of behavioural designs with mutable relations and temporal logic, an extension previously implemented in `Electrum `_. .. toctree:: :maxdepth: 2 :caption: Contents overview/index structural-design/index protocol-design/index modelling-tips/index relational-logic/index temporal-logic/index acknowledgements bibliography .. toctree:: :hidden: genindex