|
Descripción
|
|
|---|---|
| COSTA: COSTA (COST and Termination Analyzer) is a static analyzer that infers information about the termination and execution costs of Java bytecode programs. It takes two inputs, the Java bytecode program you want to analyze and a selection of the cost model. The cost model describes some kind of resource consumption. The result is a static estimation of the (worst-case) cost of a program, together with its termination behavior. | |
|
Internacional
|
Si |
|
Licenciatario
|
|