Graph Solver as a Service

Graphs can be a key abstraction for formal verifi-cation challenges. As such, graph solvers are essential tools for synthesizing scalable domain-specific consistent graph models, which are both realistic and diverse. The main goal of this doctoral research plan is to develop a graph solver framework...

Full description

Saved in:
Bibliographic Details
Published inProceedings (IEEE/ACM International Conference on Software Engineering Companion. Online) pp. 291 - 293
Main Author Ahmad, Fozail
Format Conference Proceeding
LanguageEnglish
Published IEEE 01.05.2023
Subjects
Complexity theory
consistent graph generation
graph solver
Medical services
par-tial graph models
Scalability
software as a service
Software engineering
Online AccessGet full text
ISSN2574-1934
DOI10.1109/ICSE-Companion58688.2023.00078

Cover

More Information
Summary:Graphs can be a key abstraction for formal verifi-cation challenges. As such, graph solvers are essential tools for synthesizing scalable domain-specific consistent graph models, which are both realistic and diverse. The main goal of this doctoral research plan is to develop a graph solver framework based on a state-of-the-art graph solver in order to provide a graph solver as a service. We expect this will improve the overall scalability of graph solvers whilst increasing the usage and adoption of such tools. The scalability of the framework will be investigated in several case studies of different complexity.
ISSN:2574-1934
DOI:10.1109/ICSE-Companion58688.2023.00078