Zaslat SMS: A Survey of Automated Techniques for Formal Software Verification.