"formal" Methods Forum Meeting: Friday, 30 June 2000

Topic: Verifying Ladder Logic with SMV

Attendance List:
Friedger M??ffke
John Gallagher
Gordon Hughes
Howard Towner
Kerstin Eder
John May
Laura Lafave
Julio Peralta
James Edwards

Announcements: Having had a series of six meetings, it was felt that it was time to revise where the seminar series is going. We set out to cover a range of topics such as: formal verification, automated reasoning, languages and compilers, concurrent and communicating systems, software reliability and reliability assessment, software design methods, software testing, statistical and logical methods, and quantitative protocol design. On reflection, only the first three of the list have been addressed (so far). This aspect was discussed and we agreed to have a wider variety of topics, starting with a kick-off session on "hierarchical system (de-)composition" organised by Gordon and John May in October 2000.

Next Forum

• The next meeting will take place in November.