نتایج جستجو برای: verified computation
تعداد نتایج: 210263 فیلتر نتایج به سال:
Automated feedback generation for introductory programming assignments is useful education. Most works try to generate correct a student program by comparing its behavior with an instructor’s reference on selected tests. In this work, our aim verifiably repairs as feedback. A student-submitted aligned and composed solution in terms of control flow, the variables two programs are automatically v...
This research attempts to measure personality by monitoring behaviour in a virtual environment. A computer game was created to measure a trait of the Five Factor Model of personality: extraversion. Test-items were created to measure extraversion and its facets, as specified by Costa and McCrae [7]. For this purpose, 25 items were built into the virtual environment. In order to test if these mea...
The safety and security of software systems depends on how they are initially configured. Manually writing program code that establishes such an initial configuration is a tedious and error-prone engineering process. In this paper we present an automatic and formally verified initialiser for component-based systems built on the general-purpose microkernel seL4. The construction principles of th...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید