Global Sources
EE Times-Asia
Stay in touch with EE Times Asia
EE Times-Asia > T&M

An introduction to model checking

Posted: 16 Feb 2005 ?? ?Print Version ?Bookmark and Share

Keywords:model checking? uml? unified modeling language? embedded? finites state machine?

Learn the fundamentals of model checking and how it solves design issues in real-time and safety-critical systems.

View the PDF document for more information.

Article Comments - An introduction to model checking
*? You can enter [0] more charecters.
*Verify code:


Visit Asia Webinars to learn about the latest in technology and get practical design tips.

Back to Top