vix.ing · top · new · best · stats · spec

Luthfi Darmawan

  1. Interval-based Resource Usage Verification by Translation into Horn\n Clauses and an Application to Energy Consumption
    2018/03/12 by Pedro López-García, Lopez-Garcia, Pedro, Luthfi Darmawan +9 · 2 citations
    Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Programming Languages (cs.PL)