FMCAD is known to be one of the best and most influential academic events in the field of formal methods and their application to computer-aided design. OneSpin Solutions is proud to support this years event as one of the sponsors.
Don't miss the panel session 8, Thursday 25 Oct, 11:15-12:15, on Model Checking in the Cloud chaired by Maher Mneimneh (Atrenta). Sven Beyer (Product Manager Design Verification at OneSpin) will discuss with other academic and industry experts how model checking will be more effective by using cloud based compute resources.
Lecture Theatre of Microsoft Research Cambridge
7 J J Thomson Ave, Cambridge CB3 0FB, UK