Designing ubiquitous applications: proposal of a specification environment
MUCS '09 Proceedings of the 6th international workshop on Managing ubiquitous communications and services
| Hi-index | 0.00 |
The ideal of verified software has long been the goal of research in Computer Science. This paper argues that the time is ripe to embark on a Grand Challenge project to construct a program verifier, based on a sound and complete theory of programming, ...