1376 search results - page 129 / 276 » Model-Driven Software Verification |
134
click to vote
CADE
2004
Springer
16 years 3 months ago
2004
Springer
Abstract. We describe a system for the automated certification of safety properties of NASA software. The system uses Hoare-style program verification technology to generate proof ...
128
click to vote
DSN
2004
IEEE
15 years 6 months ago
2004
IEEE
It is often the case that safety-critical systems have to be reconfigured during operation because of issues such as changes in the system's operating environment or the fail...
142
click to vote
ECBS
2005
IEEE
15 years 8 months ago
2005
IEEE
CSP++ is an object-oriented application framework for execution of CSP specifications that have been automatically synthesized into C++ source code by the cspt translator. We desc...
129
click to vote
FM
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Information assurance applications built according to the MILS (Multiple Independent Levels of Security) architecture often contain information flow policies that are con...
124
click to vote
STEP
2005
IEEE
15 years 8 months ago
2005
IEEE
Interoperability in service oriented environments is heavily in uenced by the view that the cooperating services have on their data. e term service for the abstract contract concl...