Resource bound verification framework (named BRBO) in Scala.
Tested on Debian with:
- Scala 2.12.12
- JVM 1.8
The related publication is at https://arxiv.org/abs/2108.08263.
The artifact (which was evaluated by SAS'21 committee) is at https://zenodo.org/record/5140586.