Introductory OneSpin Training: This 4-day training addresses the setup, methodology, and deployment of applications (Apps) in the OneSpin tool suite to address a wide variety of verification tasks with formal methods and hardware model checking. The training is offered three times per year, online and on-site (conditions permitting).