Brasileiro de Computação – CBComp 2001 351 F ORMAL SPECIFICATION AND VERIFICATION OF THE ACCOUNTING M ODEL OF T INA A RCHITECTURE USING L OTOS

Abstract

This paper presents the formal description and verification of the Accoounting Model of TINA architecture, perfected on basis of the described initial model in documents TINA-C Telecommunications Information Networking Architecture Consortium. Is was used a technique of Formal Description LOTOS to make the specification and Aldèbaran tool for verification… (More)

Topics

2 Figures and Tables