Verified Software: Theories, Tools, Experiments: 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings: Lecture Notes in Computer Science, cartea 7152

ABORDAREA PRACTICĂ: Verified Software: Theories, Tools, Experiments prioritizează raportul direct dintre fundamentul teoretic și aplicabilitatea sa în ingineria software, punând un accent deosebit pe validarea experimentală. Spre deosebire de alte volume pur academice, această colecție de lucrări de la conferința VSTTE 2012 insistă pe evoluția instrumentelor de lucru (tools) și pe modul în care acestea pot fi integrate în fluxuri de producție reale. Ne-a atras atenția structura care include nu doar lucrări de cercetare, ci și tutoriale menite să faciliteze utilizarea metodologiilor de rafinare și a logicilor de program.

Abordarea diferă de Tools and Algorithms for the Construction and Analysis of Systems de Cormac Flanagan prin faptul că este mai puțin abstractă și mult mai orientată spre implementarea practică și comparația între instrumente de verificare existente. În timp ce alte volume din seria Lecture Notes in Computer Science se pot concentra pe algoritmi teoretici, VSTTE 2012 caută soluții pentru provocări specifice de design software și modelare a cerințelor.

Merită menționat că editorul Rajeev Joshi continuă aici direcția riguroasă explorată și în NASA Formal Methods. Dacă în lucrarea dedicată standardelor NASA accentul era pus pe sisteme critice, volumul de față extinde aceste tehnici de verificare formală către o arie mai largă de aplicații industriale. Apreciem în mod deosebit secțiunile dedicate benchmark-urilor și depozitelor de date de test, elemente esențiale pentru orice cercetător care dorește să compare eficiența diferitelor metode de verificare automată.