Name: EMail: Organization: Address 1: Address 2: Address 3:
The class will be similar to the class offered May 2005. The agenda for that class can be seen at 2005 PVS Class Agenda.
I am able to bring a laptop: Select here to answer a. No b. Yes c. and I can install Linux on it before I come d. and I can install Linux and PVS 4.0 on it before I come
Knowledge of Emacs: Select here to answer I know nothing minimal experienced expert
Knowledge of Mathematical Logic: Select here to answer I know nothing minimal one semester course extensive knowledge
How much time would you like spent on the SAL model checker?: Select here to answer No time 1 hour 2 hours 3 hours 4 hours
Experience with PVS: Select here to answer I know nothing Can read PVS specs Have done some proofs I just need the advanced stuff
Additional Comments:
To submit, press:. To clear the form, press: .