Searched for: collection%253Air
(1 - 5 of 5)
document
Chen, J.C. (author), Pronk, T.M.C. (author), Van de Wouw, A. (author)
Document(en) uit de collectie Chemische Procestechnologie
report 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 Procestechnologie
report 1970
Searched for: collection%253Air
(1 - 5 of 5)