Special Section on “Leveraging Formal Methods” |
| |
| Authors: | Tiziana Margaria Bernhard Steffen |
| |
| Affiliation: | 1. Universit?t Potsdam, August-Bebel-Str. 89, Haus 4, 14482, Potsdam, Germany
2. University of Dortmund, Otto-Hahn-Str. 14, 44227, Dortmund, Germany
|
| |
| Abstract: | This Special Section contains selected papers from ISoLA 2004, the First International Symposium on Leveraging Applications of Formal Methods held in Paphos (Cyprus) October–November 2004. ISoLA 2004 served the need of providing a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems from the point of view of their different application domains. The seven selected papers illustrate the intended variety of ISoLA’s scope. |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
