System architecture synthesis for performability by logic solvers.

Máté Földiák Kristóf Marussy Dániel Varró István Majzik

Published in: MoDELS (2022)

Keyphrases

logic synthesis
management system
functional decomposition
logic programming
reasoning engine
functional programs
modal logic
database
inference rules
architectural design
layered architecture