CS 9622 - Fall 2017 : Verification of safety-critical software (paper)