Laboratory of Test and Analysis

The Laboratory of Test and Analysis (LTA) mainly focuses on software testing and analysis, but is active also in the area of formal methods, graph transformations and visual languages.

more...

DISCo Events Upcoming deadlines RSS upcoming deadlines
  • 2014-05-12 Incontri di orientamento "Magistrale Informatica in Bicocca" e "Magistrale TTC In Bicocca"
  • 2014-05-28 Formal analysis of biological models through HASL model checking
  • more...

    more...