Perhaps you should try some spelling variations:
verification program » verification problems, verification process, verification proving
static verification » automatic verification, dynamic verification, location verification
function microscopy » reflection microscopy, refraction microscopy, electron microscopy
program function » programme function, programs functional, program foundation
https » http

You may be able to get more results by adjusting your search query.

• Performing a fuzzy search may retrieve terms with similar spellings: static verification program function microscopy https~.
• Adding a wildcard symbol may retrieve word variants: static verification program function microscopy https*.