![Theoretical computer science / Formal methods / Temporal logic / Software engineering / Alloy / Massachusetts Institute of Technology / Z notation / Concurrency / Model checking / TLA+ / Linear temporal logic / Computation tree logic Theoretical computer science / Formal methods / Temporal logic / Software engineering / Alloy / Massachusetts Institute of Technology / Z notation / Concurrency / Model checking / TLA+ / Linear temporal logic / Computation tree logic](https://www.pdfsearch.io/img/f65752270f892f3569eda4e854deaee4.jpg) Date: 2018-06-13 06:07:43Theoretical computer science Formal methods Temporal logic Software engineering Alloy Massachusetts Institute of Technology Z notation Concurrency Model checking TLA+ Linear temporal logic Computation tree logic | | Electrum Lightweight specification of behavioral models with rich configurations Julien Brunel1 , David Chemouil1 , Alcino Cunha2 , Nuno Macedo2 et al. Workshop on the Future of Alloy, April 30 & May 1, 2018, MIT.Add to Reading ListSource URL: alloytools.orgDownload Document from Source Website File Size: 421,78 KBShare Document on Facebook
|