Index Catalog // Digital WPI

Start Over

Filtering by: Keyword logic

1 - 3 of 3

List Gallery Masonry Slideshow

User Evaluation Framework for Model Finding Research

Keyword:

model finders, logic, formal methods, Verification, user studies, user evaluation, model finding, and Case Studies

Creator:

Danas, Ryan

Advisor:

Dougherty, Daniel J.

Publisher:

Worcester Polytechnic Institute

Date Created:

2016-08-31

Resource Type:

Thesis

Degree:

MS

Unit:

Computer Science
First-Order Models for Configuration Analysis

Keyword:

static analysis, logic, firewalls, Security, model finding, scenarios, and configuration

Creator:

Nelson, Tim

Advisor:

Dougherty, Daniel J. and Fisler, Kathryn

Publisher:

Worcester Polytechnic Institute

Date Created:

2013-04-25

Resource Type:

Dissertation

Degree:

PhD

Unit:

Computer Science
Graph Decompositions and Monadic Second Order Logic

Keyword:

clique width, logic, tree decompositions, and Graph Theory

Creator:

Adler, Jonathan D

Advisor:

Dougherty, Daniel J. and Martin, William J.

Publisher:

Worcester Polytechnic Institute

Date Created:

2009-04-27

Resource Type:

Report

Degree:

MS

Unit:

Mathematical Sciences