Alloy*: a general-purpose higher-order relational constraint solver
type: Item
instance of: scholarly article
title: Alloy*: a general-purpose higher-order relational constraint solver
zbMATH Open document ID: 1425.68264
author: Aleksandar Milicevic
author: Joseph P. Near
author: Eunsuk Kang
author: Daniel Jackson
published in: Formal Methods in System Design
publication date: 2019-11-29T00:00:00Z
full work available at URL: https://hdl.handle.net/1721.1/135729
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 68T20
zbMATH DE Number: 7138656
zbMATH Keywords: Alloy
zbMATH Keywords: model finding
zbMATH Keywords: higher-order logic
zbMATH Keywords: synthesis
zbMATH Keywords: design
describes a project that uses: Boogie
describes a project that uses: Nitpick
describes a project that uses: Rosette
describes a project that uses: margrave
describes a project that uses: Kodkod
describes a project that uses: Isabelle/HOL
describes a project that uses: Alloy*
describes a project that uses: Nunchaku
describes a project that uses: Dafny
describes a project that uses: z3
describes a project that uses: TestEra
describes a project that uses: TACO
describes a project that uses: HMC
describes a project that uses: GitHub
MaRDI profile type: Publication
OpenAlex ID: W2582748022
cites work: Q4520254
cites work: Nitpick: A Counterexample Generator for Higher-Order Logic Based on a Relational Model Finder
cites work: Efficient E-Matching for SMT Solvers
cites work: Q3286850
cites work: Complete Instantiation for Quantified Formulas in Satisfiabiliby Modulo Theories
cites work: Dafny: An Automatic Program Verifier for Functional Correctness
cites work: Isabelle/HOL. A proof assistant for higher-order logic
cites work: Model Finding for Recursive Functions in SMT
cites work: Kodkod: A Relational Model Finder
cites work: Q4417952
DOI: 10.1007/S10703-016-0267-2
Recommended article: A confluent relational calculus for higher-order programming with constraints
Recommended article: An algebraic perspective of constraint logic programming
Recommended article: Relational constraint solving in SMT
Recommended article: Principles and Practice of Constraint Programming – CP 2003
Recommended article: Constraint satisfaction with succinctly specified relations
Recommended article: Verification, Model Checking, and Abstract Interpretation
Recommended article: Q5028466
description: scientific article; zbMATH DE number 7138656