Alloy*: A General-Purpose Higher-Order Relational Constraint Solver

The last decade has seen a dramatic growth in the use of constraint solvers as a computational mechanism, not only for analysis of software, but also at runtime. Solvers are available for a variety of logics but are generally restricted to first-order formulas. Some tasks, however, most notably thos...

Full description

Bibliographic Details
Main Authors: Milicevic, Aleksandar (Contributor), Near, Joseph Paul (Contributor), Kang, Eunsuk (Contributor), Jackson, Daniel (Contributor)
Other Authors: Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science (Contributor)
Format: Article
Language:English
Published: Institute of Electrical and Electronics Engineers (IEEE), 2018-06-06T17:21:49Z.
Subjects:
Online Access:Get fulltext