Verifolio is a portfolio software verification tool.
Given a verification task and a verification property, it tries to predict the best tool from a predefined set of black-box verification tools. Our portfolio is based on high-level software metrics, variable roles and loop patterns. We have evaluated Verifolio on data from the International Competition on Software Verification (SV-COMP), where our portfolio outperforms any of the participating standalone verifiers.
Verifolio v0.1 – VirtualBox virtual machine (.ova) Download (5.6 GB)
Username/password for the VM:
||| Empirical software metrics for benchmarking of verification tools|
Formal Methods in System Design, pages 1-28, 2017.
||| Empirical Software Metrics for Benchmarking of Verification Tools|
Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I, pages 561-579, July 2015.
||| Loop Patterns in C Programs|
ECEASST, volume 72, 2015.
|||Loop Patterns in C Programs|
January 2014, Master's thesis, Vienna University of Technology.
||| On the Concept of Variable Roles and its Use in Software Analysis|
FMCAD, pages 226-229, 2013.