Advanced Topics in Software Verification

16 Dezembro 2016, 16:30 • Antónia Lopes

Students organized in groups of two choose a topic related to software verification and prepared an essay about it. The following topics were covered this year:

Facebook infer: A static analysis tool

https://code.facebook.com/posts/1648953042007882/

open-sourcing-facebook-infer-identify-bugs-before-you-ship/

http://fbinfer.com

JavaPathFinder: a execution environment for verification of Java bytecode

http://babelfish.arc.nasa.gov/trac/jpf/