Sumários

Essay Presentations

18 Dezembro 2024, 18:30 • Antónia Lopes

Essay Presentations

  • Modelling Languages and Verification Tools
    • TLA:  João Barros, Henrique Alípio
    • TLA used in practice: Afonso Batista,Rafael Correia
    • UPPAL: David Guilherme,Joana Carrasqueira
    • PRISM: José Torre
    • Alloy: Gabriel Henriques, Guilherme Sousa 
  • Verification Technology in Practice
    • Verifiable Security at work in Amazon Web Services: Manuel Campos, Sara Canhoto 
    • Verifying Cryptographic Assembly Code: Diogo Almeida e Joana Chuço
    • Verifying Smart Contracts with Certora: Daniel Gonzalez, Rodrigo Taciano 

Essay presentations

18 Dezembro 2024, 16:30 • Antónia Lopes


Essay Présentations

11 Dezembro 2024, 18:30 • Antónia Lopes

Essay Presentations

  • Verification of C code
    • CBMC: Diogo Agostinho, João Videira 
    • Frama-C:  Manuel Gonçalves, Leonardo Fernandes
    • Frama-C used in practice: André Belo, Diogo Sargaço
    • HiFrog: José Sousa e Ricardo Mateus
  • Verification of Java and Spark code
    • Infer: Daniel Luis, Eduardo Santos
    • Verifast: Rafael Francisco, Rafael Correia
    • SPARK: Miguel Duarte, Ricardo Sobral

Essay Presentations

11 Dezembro 2024, 16:30 • Antónia Lopes

Essay Presentations

  • Verification of C code
    • CBMC: Diogo Agostinho, João Videira 
    • Frama-C:  Manuel Gonçalves, Leonardo Fernandes
    • Frama-C used in practice: André Belo, Diogo Sargaço
    • HiFrog: José Sousa e Ricardo Mateus
  • Verification of Java and Spark code
    • Infer: Daniel Luis, Eduardo Santos
    • Verifast: Rafael Francisco, Rafael Correia
    • SPARK: Miguel Duarte, Ricardo Sobral

Exercises about Model Checking with Spin

4 Dezembro 2024, 18:30 • Antónia Lopes