{GUBS} Upper Bound Solver (Extended Abstract)
Proceedings 8th Workshop on Developments in Implicit Computational
Complexity and 5th Workshop on Foundational and Practical Aspects of
Resource Analysis, DICE-FOPARA@ETAPS 2017, Uppsala, Sweden, April 22-23,
2017, volume 248 of EPTCS, pages 17–23, (2017).
Abstract
This paper outlines our tool GUBS.