VERIFICATION OF AUTOMATED SYSTEMS USING INVARIANTS
Arianna Z. Olivera Salmon, Pedro M. G. del Foyo, Silva, José Reinaldo · Scientific Electronic Library Online (São Paulo Research Foundation, Latin American and Caribbean Center on Health Sciences Information, Conselho Nacional de Desenvolvimento Científico e Tecnológico) · 2015
Nowadays, Petri net and this extensions has been used for modeling and verification of complex systems, used as a sound description language. Algorithms derived from this modeling framework can facilitate the analysis and veri fication of properties. Methods of veri fication based in invariants are among the most computacionally eff icient and allow the veri cation of other important properties. This work proposes the use of invariants for the veri fication of desirable properties for an automatic system in the early design phase. Therefore invariants are used to validate requirements assuming they are elicited using UML Diagrams and modeled also in Petri Nets.