Invited talk at the Next Generation Static Software Analysis Tools, Schloss Dagstuhl. August 2014. Manuel Hermenegildo. Energy Analysis, Debugging, and Verification with the CiaoPP system.