Yahoo! Directory

Formal Methods > Institutes

SITE LISTINGS By Popularity \| Alphabetical (What's This?) Sites 1 - 2 of 2


Verification and Validation Laboratory - Brigham Young University Conducts research that optimizes explicit state model checking to find and interpret errors in real world design while retaining exhaustive coverage. lal.cs.byu.edu NASA Langley Formal Methods Program Working to advance the state-of-the-art in formal methods, making it practical for use on life-critical systems developed by the aerospace industry in the United States. shemesh.larc.nasa.gov/fm

Help us improve the Yahoo! Directory - Share your ideas