In reply to ashokgupta466:
https://verificationacademy.com/courses/Getting-Started-with-Formal-Based-Technology