Introduction to Formal Methods – Part 1 · HackerTrans