Skip to Content
Toggle navigation
Accueil
Browse
Browse by Collection
Browse by Project Center
Browse Exhibits
About
About Us
Help
S'identifier
Explore, Discover, Share
Aller
Advanced search
Recherche
Effacer les filtres
Filtrage par:
Mot-clé
logic
Supprimer la restriction Mot-clé: logic
1
-
3
sur
3
Trier par relevance
relevance
date uploaded ▼
date uploaded ▲
date modified ▼
date modified ▲
Nombre de résultats à afficher par page
10 par page
10
par page
20
par page
50
par page
100
par page
Affichage:
Liste
Galerie
Mosaïque
Diaporama
Résultats de recherche
User Evaluation Framework for Model Finding Research
Mot-clé:
Verification
,
model finding
,
Case Studies
,
model finders
,
user studies
,
user evaluation
,
formal methods
, and
logic
Créateur:
Danas, Ryan
Advisor:
Dougherty, Daniel J.
Éditeur:
Worcester Polytechnic Institute
date créée:
2016-08-31
Resource Type:
Thesis
Degree:
MS
Unit (Department):
Computer Science
First-Order Models for Configuration Analysis
Mot-clé:
firewalls
,
Security
,
static analysis
,
logic
,
scenarios
,
model finding
, and
configuration
Créateur:
Nelson, Tim
Advisor:
Dougherty, Daniel J.
and
Fisler, Kathryn
Éditeur:
Worcester Polytechnic Institute
date créée:
2013-04-25
Resource Type:
Dissertation
Degree:
PhD
Unit (Department):
Computer Science
Graph Decompositions and Monadic Second Order Logic
Mot-clé:
clique width
,
Graph Theory
,
logic
, and
tree decompositions
Créateur:
Adler, Jonathan D
Advisor:
Dougherty, Daniel J.
and
Martin, William J.
Éditeur:
Worcester Polytechnic Institute
date créée:
2009-04-27
Resource Type:
Report
Degree:
MS
Unit (Department):
Mathematical Sciences
Toggle facets
Limiter votre recherche
Collections
PhD Dissertations
1
Masters Reports
1
Masters Theses
1
Year
Year range begin
–
Year range end
Current results range from
2009
to
2016
View distribution
Créateur
Adler, Jonathan D
1
Danas, Ryan
1
Nelson, Tim
1
Advisor
Dougherty, Daniel J.
3
Fisler, Kathryn
1
Martin, William J.
1
Contributor
Dougherty, Daniel J.
3
Fisler, Kathryn
1
Guttman, Joshua
1
Krishnamurthi, Shriram
1
Martin, William J.
1
Unit (Department)
Computer Science
2
Mathematical Sciences
1
Éditeur
Worcester Polytechnic Institute
3
Type de ressource
Dissertation
1
Report
1
Thesis
1