Secure Software Development: Verification and More Specialized Topics