Descrição
Metodologias em especificação formal de software, desenvolvimento e verificação. Uso de prova de teoremas, dedução automatizada e outros métodos formais relacionados para correção de software. Aplicações em verificação de programas e computação segura.
Texto de referência na sua língua de origem
Methodologies in formal software specification, development, and verification. The use of theorem proving, automated deduction, and other related formal methods for software correctness. Applications in program verification and secure computation.
Fontes e referências
As datas e as fontes são mantidas para ajudá-lo a verificar os dados. As traduções são propostas para facilitar a leitura; a fonte oficial é a referência para condições e exigências.
Fonte de referência : https://calendar.carleton.ca/grad/courses/COMP/