Software and systems engineering. Capabilities of software safety and security verification tools. (22nd June 2020)