close By using this website, you agree to the use of cookies. Detailed information on the use of cookies on this website can be obtained on OneSpin's Privacy Policy. At this point you may also object to the use of cookies and adjust the browser settings accordingly.

FMCAD 2012


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.

For more information please visit FMCAD and have a look at the advance program.

Lecture Theatre of Microsoft Research Cambridge
7 J J Thomson Ave, Cambridge CB3 0FB, UK