AlloyMax: bringing maximum satisfaction to relational specifications

Document Details

Document Type
Pub Defense Publication
Publication Date
Aug 18, 2021
Source ID
10.1145/3468264.3468587

Entities

People

  • Changjian Zhang
  • David Garlan
  • Eunsuk Kang
  • Pedro Orvalho
  • Ruben Martins
  • Ryan Wagner
  • Vasco Manquinho

Organizations

  • Carnegie Mellon University
  • Fundação para a Ciência e Tecnologia
  • National Science Foundation
  • National Security Agency
  • Office of Naval Research
  • University of Lisbon