TACAS presentations on PDR for Software and CPU Energy Meter are available.

All software that we develop or maintain is copyrighted as free software.
Most of our software is available on GitHub or GitLab.

Current Projects