Istituto di Scienza e Tecnologie dell'Informazione     
Ter Beek M. H., Massink M., Latella D., Gnesi S., Forghieri A., Sebastianis M. Automated verification of groupware protocols. In: Ercim News, vol. 58 pp. 33 - 35. Special Theme: Automated Software Engineering. ERCIM, 2004.
Recently, researchers from the Formal Methods and Tools (FM&&T) group of ISTI-CNR teamed up with researchers from think3, a global provider of integrated product development solutions. The goal was to apply formal modelling and verification techniques to enhance think3's Product Data Management (PDM) application, 'thinkteam' (a registered trademark of think3 Inc) with a publish/subscribe notification service.
Subject Model checking
D.2.4 Software/Program Verification. Model checking
D.2.4 Software/Program Verification. Formal methods

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional