forked from AlloyTools/org.alloytools.alloy
-
Notifications
You must be signed in to change notification settings - Fork 9
Home
Nuno Macedo edited this page Jun 16, 2021
·
13 revisions
A basic introduction to Electrum2 and a hands-on tutorial is available here.
A more thorough tutorial on Alloy / Electrum, accompanied with some practice exercises, was held at the FM'19. The material is available here. Note that the tutorial was prepared for Electrum 2.0, so some models may be outdated (namely, scope on trace lengths Time is now steps).