This page contains links to prototype tools and other software produced by the ENTRA project.

• Simulation-based energy modelling.
• LLVM energy mapping tool.
• Energy analysis and verification based on Horn Clause transformation (online tool).
• Horn clause analysis and verification. Linear Horn solving. Abstraction refinement (RAHFT).
• XMOS compiler tools.