Student Work
Interactive Model Finding with Hominy
PublicWe present a new extension to the Hominy model finding utility, allowing it to be used interactively. This extension provides a command line interface with a read-eval-print loop (REPL) and a Web-based graphical interface. These allow the user to interactively discover the consequences of applying particular augmentations to models. We define a query language to facilitate this exploration. The semantics of this query language are defined in terms of a directed graph structure on the space of finite models of a geometric theory.
- This report represents the work of one or more WPI undergraduate students submitted to the faculty as evidence of completion of a degree requirement. WPI routinely publishes these reports on its website without editorial or peer review.
- Creator
- Publisher
- Identifier
- E-project-032615-010605
- Advisor
- Year
- 2015
- Date created
- 2015-03-26
- Resource type
- Major
- Rights statement
Relations
- In Collection:
Items
Items
Thumbnail | Title | Visibility | Embargo Release Date | Actions |
---|---|---|---|---|
|
Interactive_Model_Finding_with_Hominy.pdf | Public | Download |
Permanent link to this page: https://digital.wpi.edu/show/8k71nj589