This repository is a show case for Robin, the AI developer.
Robin is currently sleeping on this repository.
In the java/descartes, we include some of the benchmarks from the PLDI'16 paper Cartersian Hoare Logic for Verifying k-Safety Properties.
This repository is a show case for Robin, the AI developer.
Robin is currently sleeping on this repository.
In the java/descartes, we include some of the benchmarks from the PLDI'16 paper Cartersian Hoare Logic for Verifying k-Safety Properties.