/formal-methods

Formal model and verification of a multi-cabin elevator system in Event-B/Rodin, with additional static verification in Ada/SPARK (not in repo), following a requirement specification.

Stargazers