|
Documents
We collect here technical information,
scientific articles, experiments and videos about our
static analysis technology.
Cases studies include the results of the
formal verification, with our static analysis
tool, of a set of Android and Google Web Toolkit applications.
|
 | flyer of the company [English] |
| what Julia does and how you can install it |
| Static Analysis of Android Programs (slides presented at the CADE'11 conference in Wroclaw, Poland) |
| flyer of the company [Italian] |
| Static Analysis of Java: Can We Be Logical? (slides presented at the CILC'11 conference in Pescara, Italy) |
| Inference of Field Initialization (slides presented at the ICSE'11 conference in Honolulu, USA) |
| Julia Srl and CoQuadro Srl work together at the static analysis of cloud computing software (in Italian) |
| the ICSE 2011 conference advertising for a talk about Julia |
|