Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings: Lecture Notes in Computer Science, cartea 6252

Cercetătorii și specialiștii în metode formale vor descoperi în Automated Technology for Verification and Analysis, editat de Ahmed Bouajjani și Wei-Ngan Chin, un volum tehnic riguros dedicat fundamentelor verificării automate. Găsim în această carte o structură academică ce facilitează tranziția de la concepte teoretice, precum automatele probabiliste pe cuvinte infinite, la aplicații practice prezentate în cele 9 lucrări dedicate instrumentelor de calcul. Pe linia practică a volumelor din seria Lecture Notes in Computer Science, dar cu focus pe algoritmi de compoziție pentru sinteza LTL și analiza sistemelor hibride, acest volum documentează stadiul cercetării în ingineria software de precizie din anul 2010. Reținem din cuprins abordările progresive: de la studiul complexității codiagnozabilității pentru sisteme cu evenimente discrete, până la verificarea on-the-fly a automatelor Timed Büchi. Organizarea textului reflectă fluxul simpozionului, oferind perspective asupra învățării prin abstracție și a controlului sistemelor distribuite bazate pe cunoaștere. Deși este o lucrare de referință istorică pentru evoluția domeniului, soluțiile propuse pentru programele concurente și testarea claselor din contracte rămân puncte de sprijin pentru arhitecții de sisteme formale.