Distributed Summary Synthesis Multi-Processing

Project information

Distributed Summary Synthesis is a technique for the distributed verification of software systems. This project provides infrastructure to run Distributed Summary Synthesis through a microservice architecture, based on the analyses implemented in CPAchecker.

475 Commits
12 Branches
0 Tags

README
Apache License 2.0

Created on

May 12, 2023

Loading