next up previous
Next: References Up: Verification using LOTOS Previous: Conclusion

Acknowledgements

This work has been partially supported by the Commission of the European Union (DG XIII) under the ACTS AC051 project OKAPI: "Open Kernel for Access to Protected Interoperable Interactive Services".