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
»
A temporal logic primer
View page source
A temporal logic primer
Caution
This chapter is still under construction