|
ModoCop meetingApril 17, 2003INRIA Sophia-Antipolis |
| 10.30 - 11.00 | Coffee |
| 11.00 - 11.30 | Slicing event spaces - Néstor Cataño (Lemme) |
| 11.30 - 11.45 | Discussion |
| 11.45 - 12.15 | BZ-Testing-Tools technology with application to Java
Card validation -
Fabrice Bouquet (Cassis) |
| 12.15 - 12.30 | Discussion |
| 12.30 - 13.00 | Vérification de propriétés de l'application
porte-monnaie électronique
codée en NTIF à l'aide de l'outil TReX - Aurore Collomb (Vasy) |
| 13.00 - 14.30 | Lunch |
| 14.30 - 15.00 | Electronic tax service in Chile - Tomas Barros (Oasis) |
| 15.00 - 15.30 | Abstracions for call-stacks for interprocedural analysis - Wendelin Serwe (Vasy) |
| 15.30 - 15.45 | Coffee |
| 15.45 - 16.15 | haRVey,
a Flexible and Efficient Back End for Debugging and Verifying
Units of Code - Silvio Ranise (Cassis) |
| 16.15 - 17.15 | Discussion with coffee
Topics:
|
Back to the ModoCop homepage.