Formal Methods Reading Seminar (Fall 2008) Information

This page gives access to information about the Formal Methods Reading Seminar as taught (in Fall 2012) by Gary T. Leavens for the Department of EECS at the University of Central Florida. The seminar's home page is This page, which describes the seminar, is organized as follows.


Meetings will be held every Wednesday from 3:30pm to 4:30pm in room 438 of the Harris Center.


This seminar is for those doing research on formal methods, used in the specification and verification of computer software. The idea is to get background on the state of the art by reading and discussing recent papers in the area.


The only prerequisites are interest in formal methods.


Initial plans are to study papers from recent conferences and journals in the area.

Last modified Monday, November 18, 2013.