UC Institute for Software Research

Home  |   People  |   Research  |   Publications  |   Tech Transition  |   Events  |   Partnerships  |   About ISR  |   Contact Us

Distinguished Speaker Series 2000-2001

Lori Clarke
Laboratory for Advanced Software Engineering Research
University of Massachusetts, Amherst

Finite State Verification for Software Systems

May 2 , 2001

Refreshments and Networking: 1:30 - 2:00
Presentation: 2:00 - 3:30


»This meeting has been cancelled due to unforseen circumstances. «


Faculty Host: Debra J. Richardson, ICS Dept. Chair, djr@ics.uci.edu

RSVP: Email RSVP required to Rick Martin at remartin@uci.edu by Friday, April 27.

McDonnell Douglas Auditorium (building #311)

No cost to attend.

Directions and parking information
are available.

Abstract: Finite State Verification approaches, such as model checking, have been successfully applied to hardware systems, but generally do not scale to handle the complexity of software systems. This talk will describe FLAVERS, FLow Analysis for VERifying Systems, that has been developed to verify user-specified properties of software systems. FLAVERS handles the complexity of software systems by focusing on events instead of state information and by creating a conservative, but very concise, representation of the system. One of the advantages of FLAVERS is that the system model is created automatically using predefined abstraction techniques.

With FLAVERS, users form queries about important properties of their system and either receive assurances that the properties can never be violated by any execution of the system or are shown traces where such violations might occur. We believe that FLAVERS can successfully scale to handle software systems as well as bridge the gulf between the mathematical sophistication required for formal verification and the capabilities and time constraints of practicing software engineers. Our goal is to hide the "formal" in formal verification, yet provide powerful reasoning tools that can deal with complex, distributed systems.

About the Speaker: Lori A. Clarke received a B.A. degree in mathematics from the University of Rochester and a Ph.D. degree in Computer Science from the University of Colorado. She joined the Computer Science faculty at the University of Massachusetts, Amherst in 1975 where she has continued to pursue research on a broad range of software engineering issues including verification of distributed systems and distributed object technology.

Dr. Clarke is a Fellow of the ACM, a recipient of the University of Massachusetts Chancellor’s medal, a member of the IEEE Computer Society Publications Board, the board of directors of the Computing Research Association (CRA), the executive committee of the ACM Special Interest Group on Software Engineering (SIGSOFT), and the steering committee for the International Conference on Software Engineering (ICSE). She is a former IEEE Distinguished Visitor, ACM National Lecturer, member of the NSF CCR advisory board, recipient of a University Faculty Fellowship, associate editor of ACM Transactions on Programming Languages and Systems and the IEEE Transactions on Software Engineering, and secretary/treasurer, vice-chair, and chair of SIGSOFT. She has served on or chaired numerous program committees as well as served as program co-chair of ICSE 92 and general chair of ICSE 2003.