Geração de contraexemplos e testemunhas para um verificador de modelos descritos em redes de autômatos estocásticos
Made available in DSpace on 2013-08-07T18:43:35Z (GMT). No. of bitstreams: 1 000449321-Texto+Completo-0.pdf: 6617499 bytes, checksum: 57811360aff324876ce7118b02859e61 (MD5) Previous issue date: 2013 === The counterexamples and witnesses generation is one of the main attractive features of Model Ch...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | Portuguese |
| Published: |
Pontifícia Universidade Católica do Rio Grande do Sul
2013
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/10923/1684 |