Revisão de modelos CTL
Verificação de modelos é uma das mais eficientes técnicas de verificação automática de sistemas. No entanto, apesar de poder lidar com verificações complexas, as ferramentas de verificação de modelos usualmente não fornecem informação alguma sobre como reparar inconsistências nestes modelos. Nes...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | Portuguese |
| Published: |
Universidade de São Paulo
2010
|
| Subjects: | |
| Online Access: | http://www.teses.usp.br/teses/disponiveis/45/45134/tde-25032014-092409/ |