BCAT: A framework for analyzing the complexity of algorithms

This paper presents BCAT (Budapest Complexity Analysis Toolkit), a software package to facilitate research on algorithms and computational complexity. BCAT supports the implementation of computational problems, algorithms to solve the problems, and analyzers to analyze the problems. The paper contains details on the software's architecture and the related main design decisions, and reports on the first experiences with using the system.