A taste of software model checking

15:00 30-04-2014
Speaker: Dr. Sitvanit Ruah
Affiliation: IBM Haifa Research Laboratory

Wednesday, April 30, 2014 | 15:00 | Science Building (8),Room 424

A taste of software model checking 30.4.14

As the complexity of software systems increases, so does the need to develop methods for checking their correctness.
Software model checking is an automatic technique for checking program correctness.
The talk will present several approaches in software model checking, including
the challenges involved and methods to cope with them.

Light refreshments will be served at 14:45. Anybody is invited.

For further information:David Garber, Department of Applied Mathematics, Faculty of Sciences,Holon Institute of Technology