Skip to Content
Toggle navigation
Home
Browse
Browse by Collection
Browse by Project Center
Browse Exhibits
About
Help
Explore, Discover, Share
Search
Advanced search
Search Constraints
Start Over
Filtering by:
Keyword
Verification
Remove constraint Keyword: Verification
1
-
4
of
4
Sort by relevance
relevance
date uploaded ▼
date uploaded ▲
date modified ▼
date modified ▲
Number of results to display per page
10 per page
10
per page
20
per page
50
per page
100
per page
View results as:
List
Gallery
Masonry
Slideshow
Search Results
User Evaluation Framework for Model Finding Research
µLeech: A Side-Channel Evaluation Platform for Next Generation Trusted Embedded Systems
Development of a Computer Program for the Verification and Validation of Numerical Sim...
A Modular Model Checking Algorithm for Cyclic Feature Compositions
Toggle facets
Limit your search
Collections
Masters Theses
3
PhD Dissertations
1
Year
Year range begin
–
Year range end
Current results range from
2005
to
2016
View distribution
Creator
Danas, Ryan
1
Mongiardini, Mario
1
Moukarzel, Michael A
1
Wang, Xiaoning
1
Advisor
Dougherty, Daniel J.
1
Fisler, Kathryn
1
Ray, Malcolm H.
1
Sunar, Berk
1
Contributor
Albano, Leonard D.
1
Dougherty, Daniel J.
1
Eisenbarth, Thomas
1
Fisler, Kathryn
1
Pietroforte, Roberto
1
more
Contributors
»
Unit (Department)
Civil & Environmental Engineering
1
Computer Science
2
Electrical & Computer Engineering
1
Publisher
Worcester Polytechnic Institute
4
Resource type
Thesis
3
Dissertation
1