Project code: CES.5008
Coordinator of this project: Prof.dr. W.J. Fokkink
Add-Controls design and produce embedded controllers for a large range of applications. They have experienced how difficult it is to deliver completely correct programs. The main aim of this PROGRESS project is to incorporate methods from the realm of system verification into the design phase of embedded controllers at Add-Controls.
- Jun Pang, Analysis of a Security Protocol in mCRL, In Proceedings of 4th International Conference on Formal Engineering Methods, Lecture Notes in Computer Science 2495, pp. 396-400, Springer-Verlag, 2002
- J.F. Groote, J. Pang and A.G. Wouters, Analysis of a Distributed System for Lifting Trucks, Journal of Logic and Algebraic Programming, To appear, 2003
Nijverheidsweg Noord 86
3812 PN Amersfoort
(Ir Berto Wanschers)