1031 search results - page 158 / 207 » On the Formal Development of Safety-Critical Software |
CIE
2006
Springer
13 years 11 months ago
2006
Springer
We describe two representations for real numbers, signed digit streams and Cauchy sequences. We give coinductive proofs for the correctness of functions converting between these tw...
AICCSA
2001
IEEE
13 years 11 months ago
2001
IEEE
A trend in software development is to assemble a system from a number of components. These may be either available commercially off-the-shelf, or by the use of network-based resou...
CAV
2000
Springer
13 years 11 months ago
2000
Springer
Hierarchical state machines is a popular visual formalism for software specifications. To apply automated analysis to such specifications, the traditional approach is to compile th...
USS
2008
13 years 10 months ago
2008
For the last few years, many commodity computers have come equipped with a Trusted Platform Module (TPM). Existing research shows that the TPM can be used to establish trust in th...
WICSA
2004
13 years 9 months ago
2004
COMMUNITY is a formal approach to software architecture. Its main characteristics are: a precise, yet intuitive mathematical semantics based on categorical diagrams; a clear separ...