Home

Getting started

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 is now defined over steps rather than Time).

Although still in progress, a more in-depth guide on developing specifications using Alloy and Electrum is available here.

Case Studies

• ERTMS
• ELS