Anyone has some resources to get into formal verification? What are some of the requirements? Knowledge of discrete mathematics?