Speaker: Dr. Sitvanit Ruah
Affiliation: IBM Haifa Research Laboratory
Wednesday, April 30, 2014 | 15:00 | Science Building (8),Room 424
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