3801 search results - page 51 / 761 » An Approach to Modeling Software Safety |
PEPM
1999
ACM
15 years 2 months ago
1999
ACM
A certifying compiler takes a source language program and produces object code, as well as a certi cate" that can be used to verify that the object code satis es desirable pr...
JSW
2007
14 years 9 months ago
2007
Abstract— In many software design and evaluation techniques, either the software evolution problem is not systematically elaborated, or only the impact of evolution is considered...
CC
2003
Springer
15 years 3 months ago
2003
Springer
Popular mobile code architectures (Java and .NET) include verifiers to check for memory safety and other security properties. Since their formats are relatively high level, suppor...
ISPW
2007
IEEE
15 years 4 months ago
2007
IEEE
To produce quality software and evolve them in an economic and timely fashion, enactable software process models are used for regulating development activities with the support of ...
TACS
1997
Springer
15 years 1 months ago
1997
Springer
We present a type-based technique for the veri cation of deadlock-freedom in asynchronous concurrent systems. Our general approach is to start with a simple interaction category, i...