A tool for configurable software verification of C programs. The name CPAchecker was chosen to reflect that the tool is based on the CPA concepts and is used for checking software programs.
cpachecker.sosy-lab.org
Results for “SOS Suicide”
8 tools found
Auto-generated documentation.
sosumi.ai
:yen: Integrated platform for data and containers built on Apache Mesos.
nutanix.com
Application performance monitor tool for distributed systems, especially designed for microservices, cloud native and container-based (Docker, K8s, Mesos) architectures.
skywalking.apache.org
Selenium based search engine and crawler with offline archiving. ([Source Code](https://gitlab.com/biolds1/sosse)) `AGPL-3.0` `Python/Docker`
sosse.readthedocs.io
Apache Mesos
mesos.apache.org
Chronos
mesos.github.io
Opérateur mobile sans engagement
sosh.fr