Accepted at Nasa Formal Methods 2014. by Nuno Carvalho, Cristiano da Silva Sousa, Jorge Sousa Pinto, and Aaron Tomb Abstract: This paper presents our results in the formal verification of klibc, a minimalistic C library, using the Frama-C WP tool. We report how we were able … Continue reading →| HASlab
Analysing interactive devices based on information resource constraints Analysis of the usability of an interactive system requires both an understanding of how the system is to be used and a means of assessing the system against that understanding. Such analytic … Continue reading →| HASlab
Reusing models and properties in the analysis of similar interactive devices Variations between user interface designs are often relatively subtle and do not always become evident through even relatively thorough user testing. Notwithstanding their subtlety, these differences may be important … Continue reading →| HASlab