|
Symposium on Leveraging Applications of Formal Methods |
|
Wednesday, 03 November 2004 |
|
UniTESK technology application for large-scale software testing was reviewed on the First International Symposium on Leveraging Applications of Formal Methods (ISoLA 2004), which took place in Paphos, Cyprus, on October 30 - November 2, 2004. On the symposium leading researchers in Formal Methods can meet with practitioners successfully applying them in a real industrial environment and they can enrich each others with new ideas, problems, and approaches to their solution. The event provided its participants with a vision of more practice-oriented development of formal methods and supporting tools.
|
