Skip Navigation
York U: Redefine the PossibleHOME | Current Students | Faculty & Staff | Research | International
Search »Faculties • Libraries • Campus Maps • York U Organization • Directory • Site Index
Future Students, Alumni & Visitors

Department of Electrical Engineering and Compuater Science

Software Engineering Students

Site Map

Eiffel

Wiki Help

EECS Students

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

Rules for using the SEL Lab (LAS2056)

EECS Students

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