Project code: CES.5008
Research group: Specification and Analysis of Embedded Systems (SEN2)
2000-08-01
End: 2004-07-31
Project coordinator : 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.
Members
Prof.dr. W.J. Fokkink, Drs. J. Pang
Key publications- 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
Group reports
List of publications in CWI reports
Cooperation
Add-Controls
Nijverheidsweg Noord 86
3812 PN Amersfoort
(Ir Berto Wanschers)