Precise Cost Analysis via Local Reasoning
Alonso-Blas, Diego Esteban, Arenas, Puri, Genaim, Samir
Published in Automated Technology for Verification and Analysis (2013)
Published in Automated Technology for Verification and Analysis (2013)
Get full text
Book Chapter
Automatic Inference of Bounds on Resource Consumption
Albert, Elvira, Alonso-Blas, Diego Esteban, Arenas, Puri, Correas, Jesús, Flores-Montoya, Antonio, Genaim, Samir, Gómez-Zamalloa, Miguel, Masud, Abu Naser, Puebla, German, Rojas, José Miguel, Román-Díez, Guillermo, Zanardini, Damiano
Published in Formal Methods for Components and Objects (2013)
Published in Formal Methods for Components and Objects (2013)
Get full text
Book Chapter