Web   |   Directory   |   Category

Formal Methods > Verification

Email this page Suggest a Site Advanced Search

Directory > Science > Computer Science > Formal Methods > Verification


SITE LISTINGS  By Popularity  |  Alphabetical     (What's This?)
Sites 1 - 2 of 2
  • Formal Methods - Model Checking
    Model checking is a method for formally verifying finite-state concurrent systems.
    www.cs.cmu.edu/~modelcheck
  • MeijeTools
    A set of tools for the automatic verification of parallel and distributed systems.
    www-sop.inria.fr/meije/meijetools.html
 



Help us improve the Yahoo! Directory - Share your ideas