Software Verification Lab

Members
Research
Meetings
Publications
Contact Info

Welcome to the
Formal Software Verification Laboratory

This site contains information about the members of our research group, some research projects, and some publications. We plan to extend this web site in the future.

What's  New

bulletAug 2 - List of publications has been updated
 

Home | Members | Research | Meetings | Publications | Contact Info

For problems or questions regarding this web contact besta@cs.wayne.edu.
Last updated: 08/02/05.