HawkEye: User-Guided Enumeration of Scenarios

Writing declarative models has numerous benefits, ranging from automated reasoning and correction of design-level properties before systems are built, to automated testing and debugging of their implementations after they are built. Alloy is a declarative modeling language that is well suited for ve...

Full description

Saved in:
Bibliographic Details
Main Author: Sullivan, Allison
Format: Conference Proceeding
Language:English
Subjects:
Alloy
Analytical models
Cognition
Debugging
Distance measurement
Metals
Object oriented modeling
SAT Solver
Scenario Finding
Writing
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!