Formally Verified Bug-free Implementations of (Logical) Algorithms

Notwithstanding the advancements of formal methods, which already permit their adoption in a industrial context (consider, for instance, the notorious examples of Airbus, Amazon Web-Services, Facebook, or Intel), there is still no widespread endorsement. Namely, in the Portuguese case, it is seldom...

ver descrição completa

Detalhes bibliográficos
Autor principal: Barroso, Pedro Miguel Laforêt (author)
Formato: masterThesis
Idioma:eng
Publicado em: 2020
Assuntos:
Formal Methods
Computational Logic
Propositional Algorithms
Program verification
Functional language
Why3
Domínio/Área Científica::Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática
Texto completo:http://hdl.handle.net/10362/99343
País:Portugal
Oai:oai:run.unl.pt:10362/99343

Texto Completo

http://hdl.handle.net/10362/99343

Registos relacionados