AUTOMATIC VERIFICATION PAST AND PRESENT

                               Rance Cleaveland
                        Department of Computer Science
                              SUNY at Stony Brook
                                tel:  632-8448
                         e-mail:  rance@cs.sunysb.edu
                        URL:  www.cs.sunysb.edu/~rance


Automatic verification research seeks to develop algorithms, methodologies and
tools for deciding when systems are correct.  The topic has received
considerable study over the past decade and a half, and in the hardware
community in particular research results have generated considerable industrial
interest.

In this talk I will briefly describe some of the research that I have done in
this field and set forth some topics that I am currently interested or could
become interested in if the right student wanted to help me out! ;-)  No
previous experience with the field will be assumed.