Trends in Software Verification