Section: Other Grants and Activities
In the area of automated test generation from a formal model, we have an active collaboration with Dr Mark Utting from the Formal Method group from the University of Waikato (http://www.cs.waikato.ac.nz/Research/fm/index.html ). This cooperation is supported by the France-New-Zealand scientific program.
In the area of business applications, we are working on the soundness problem of coloured work-flow Petri nets with the Information System group of Professor K. van Hee from the Technical University of Eindhoven. This cooperation is supported by the NWO scientific program (The Netherlands).