Verification of Recurrent Neural Networks
Logic in computer science: modelling and reasoning about systems