87 search results - page 4 / 18 » The Village Telephone System: A Case Study in Formal Softwar... |
ATAL
2008
Springer
13 years 10 months ago
2008
Springer
Distributed systems comprised of autonomous self-interested entities require some sort of control mechanism to ensure the predictability of the interactions that drive them. This ...
EMSOFT
2007
Springer
14 years 18 days ago
2007
Springer
The soundness of device drivers generally cannot be verified in isolation, but has to take into account the reactions of the hardware devices. In critical embedded systems, interf...
AMAST
2008
Springer
13 years 10 months ago
2008
Springer
The complexity of specification development and verification of large systems has to be mastered. In this paper a specification of a real case study, a platoon of Cristal vehicles ...
FASE
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. This paper presents the use of a method – and its corresponding tool set – for compositional verification of applet interactions on a realistic industrial smart card...
EUROMICRO
2009
IEEE
14 years 3 months ago
2009
IEEE
—We propose a software engineering process to aid the development of Dynamic Software Architectures (DSAs). This process is based on the sequential application of a number of for...