Technologies

Hapi is currently implemented as a combination of several different technologies. Hapi programs are translated to YAML specifications, which can be read and processed by different cloud computing systems. Parsing and translation is implemented in Kotlin. Together with this machinery, we distribute a testing framework, mostly implemented in Python. The policies described in Hapi are amenable to automatic verification. We have a number of such properties verified automatically through CVC4, or through customized algorithms implemented in Python.