Web |
Directory |
Category
Formal Methods > Institutes
Email this page
Suggest a Site
Advanced Search
Directory
>
Science
>
Computer Science
>
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
Help us improve the Yahoo! Directory -