Perhaps you should try some spelling variations:
program verification » formal verification
verification program » verification problems, verification process, verification proving
program microarray » proteome microarray, from microarray, protein microarray
microarray chips » microarray chip, microarrays chip, microarray cross
program program » programs program, programming program

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

• Performing a fuzzy search may retrieve terms with similar spellings: program verification program program microarray chips~.
• Adding a wildcard symbol may retrieve word variants: program verification program program microarray chips*.