Skip Navigation
York U: Redefine the PossibleHOME | Current Students | Faculty & Staff | Research | International
Search »FacultiesLibrariesCampus MapsYork U OrganizationDirectorySite Index
Future Students, Alumni & Visitors
EECS Students

EECS students, please login at the bottom (with your Prism account)

Rules for using the SEL Lab (LAS2056)

Please login at the bottom of this page with your Prism login. You will then have access for help with

  • PVS
  • Latex
  • Event-B/Rodin
  • Eiffel (getting started)
  • ETF (Eiffel Testing Framework)
  • SDD (Software Design Documents)
  • SEL-VM (Linux Virtual Machine with EiffelStudio, PVS, Latex and Rodin)

(accessed from the menu at the left –> after logging in at the bottom right).

Last modified:
2015/05/19 18:18