Relato de experiência em modelagem e verificação de algoritmos concorrentes com TLA+

Arquivos

Primário JMVCruz.pdf (565,18 KB)

Data

Autores

Cruz, Jones Martins Vieira da

Editor

Universidade Federal do Rio de Janeiro

Palavras-chave

Computação concorrente , Métodos formais , Verificação de modelos , TLA+ , Concurrent systems , Formal methods , Formal methods

URI

http://hdl.handle.net/11422/23625

Coleções

Ciência da Computação

Direitos e licensiamento

Acesso Aberto

Página do item completo