ארועים
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

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.
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