Alloy meets TLA+: An exploratory study

• http://arxiv.org/abs/1603.03599

•  
• Visão geral
•  
• Pesquisas
•  
• Informação adicional documento
•  
• Ver Todos
•  

Visão geral

autores

• Macedo, Nuno
• Cunha, Alcino

data de publicação

• janeiro 1, 2016

tem uma área de assunto

• Ciências Exatas - Ciências da Computação e da Informação

Pesquisas

palavras-chave

• Alloy
• Lightweight formal methods
• Model-driven development
• Software engineering
• TLA
• Verification and validation

Informação adicional documento

Volume

• 1603.03599