= Welcome to GMC = 

== Multi-Core Model Checking ==