Essay presentation by students

15 Dezembro 2021, 16:30 • Antónia Lopes

Essay presentations:

• Alloy, A language and tool for exploring software designs BY Duarte Sousa, Tiago Murteira, Tiago Varela

• CBMC A bounded model checker for c and c++ programs BY Gonçalo Lobo, João Serrano

• Frama-C, A platform to make your c code safer and more secure BY Daniel Machado, Luís Gonçalves

• Infer, A tool to detect bugs in Java and c/c++ code BY João Francês, Marisa Mourão, Rodrigo Albino

• PRISM, A probabilistic model checker BY André Silva, Catarina Lima, Cláudio Lamelas

• SideTrail, Verifying Time-balancing of Criptosystems BY Gonçalo Rocha, José Madeira

• UPPAL, Modeling and verification of real-time systems BY João Ferreira