Index Catalog // Digital WPI

Start Over

Filtering by: Creator Danas, Ryan Publisher Worcester Polytechnic Institute Year 2016

Keyword:: Verification, model finding, Case Studies, model finders, user studies, user evaluation, formal methods, and logic
Creator:: Danas, Ryan
Advisor:: Dougherty, Daniel J.
Publisher:: Worcester Polytechnic Institute
Date Created:: 2016-08-31
Resource Type:: Thesis
Degree:: MS
Unit (Department):: Computer Science

Limit your search