- document
-
Chen, J.C. (author), Pronk, T.M.C. (author), Van de Wouw, A. (author)Document(en) uit de collectie Chemische Procestechnologiereport 2011
- document
-
Pronk, C. (author)This paper presents a study on modeling and verifying the kernel of Real-Time Operating Systems (RTOS). The study will show advances in formally verifying such an RTOS both by refinement and by model checking approaches. This work fits in the context of Hoare’s verification challenge. Several real-time operating systems will be discussed...report 2010
- document
-
Taverne, P. (author), Pronk, C. (author)Accepted for publication in the Proceedings of the 11th International Conference on Formal Engineering Methods, ICFEM 2009. This paper presents a case study in modeling and verifying a POSIX-like file store for Flash memory. This work fits in the context of Hoare’s verification challenge and, in particular, Joshi and Holzmann’s mini-challenge to...report 2009
- document
- Binkhorst, H. (author), van Ingen, J.L. (author), Pronk, C. (author) report 1978
- document
-
Broekhuis, S. (author), Koppert, C. (author), Pronk, K.M.A. (author)Document(en) uit de collectie Chemische Procestechnologiereport 1970