Refinery: Graph Solver as a Service Refinement-based Generation and Analysis of Consistent Models - Marussy, Kristof; Ficsor, Attila; Semerath, Oszkar; Varro, Daniel (Proceedings (IEEE/ACM International Conference on Software Engineering Companion. Online), 2024)
Keywords: Analytical models; Cloud service; Computational modeling; Computer architecture; Logic; Logic solver; Mathematical models; Model generation; Partial modeling; Specification languages; Systematics