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...

Full description

Bibliographic Details
Main Author: Barroso, Pedro Miguel Laforêt (author)
Format: masterThesis
Language:eng
Published: 2020
Subjects:
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
Online Access:http://hdl.handle.net/10362/99343
Country:Portugal
Oai:oai:run.unl.pt:10362/99343

Internet

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

Similar Items