book University Of Colorado Boulder Introduction To Modeling For Formal Verification 2025 Corsi [VIDEO]