A methodology to apply formal verification to UML-based software
Software development organizations aim to add quality to the created products, especially those dealing with critical systems, which require high quality software. Formal Methods offer a large potential to provide more effective verification techniques. Besides, Formal Verification methods, such as...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | English |
| Published: |
Instituto Nacional de Pesquisas Espaciais (INPE)
2015
|
| Online Access: | http://urlib.net/sid.inpe.br/mtc-m21b/2015/09.08.18.24 |