We think you have liked this presentation. If you wish to download it, please recommend it to your friends in any social system. Share buttons are a little bit lower. Thank you! Published by Dontae Stiverson Modified over 6 years ago.
This thesis describes a formal specification of the sequential fragment of the C programming language based on the official description of the C language, the C11 standard. Our formal specification of C, which is named CH2O, is used for the development of technology that enables verification of C programs in a standards compliant and compiler independent way. The C programming language is addressed in this thesis because it is both among the most widely used and among the most bug-prone programming languages. C is widely used because of the performance of programs, the control over system resources such as memory, and the fact that C programs run on nearly any computer platform. On the other hand, C is bug-prone due to its weak type system and the absence of run-time checks.
Hieronder staan in omgekeerd chronologische volgorde wetenschappelijke publicaties over het IRMA ecosysteem, vooral geschreven door onderzoekers van de Digital Security Group van de Radboud universiteit, Nijmegen. Daarnaast is onderaan deze pagina een aantal publicaties niet afkomstig van de Digital Security Group van de Radboud Universiteit opgenomen over Idemix, het cryptografische fundament van IRMA. Wouter Lueks.
As a rule, printed BA and MA theses were not included in the library collection. These theses are not included in the catalogue, but the titles can be found in Google Scholar. If you are looking for an unpublished thesis it is advised to contact the secretariat of the department where the author of the thesis concerned has graduated.