Back to results
University of Illinois at Urbana-Champaign
Decision Procedures for Equationally Based Reasoning
Abstract
dc:descriptionEach of these theoretical topics have lead to the development of new libraries and tools. Two of the tools have already been used in external projects including our tree automata library's integration into the ACTAS protocol verification tool [126], and the order-sorted unification procedures use in the Maude-NRL protocol analyzer [49].
Degree
thesis:*- Name thesis:degree_name
- Ph.D.
- Level thesis:degree_level
- Dissertation
- Discipline thesis:degree_discipline
- Computer Science
- Grantor
- University of Illinois at Urbana-Champaign
- Year dc:date
- 2015
Author and committee
dc:creator, dc:contributor.*- Author dc:creator
-
- Hendrix, Joseph D.
- Contributors dc:contributor
-
- Meseguer, José
Subjects
dc:subject × 1Rights
- Language dc:language
- eng
Identifiers
dc:identifier.*- Identifier
- (MiAaPQ)AAI3337789
- OAI identifier oai:identifier
- oai:www.ideals.illinois.edu:2142/81828