4 search results - page 1 / 1 » Automated Certification of Non-Interference in Rewriting Log... |
100
Voted
FMICS
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. In this paper we propose a certification technique for noninterference of Java programs based on rewriting logic, a very general logical and semantic framework efficientl...
73
Voted
CORR
2010
Springer
15 years 15 days ago
2010
Springer
119
Voted
IJAIT
2006
15 years 12 days ago
2006
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 obligatio...
114
click to vote
CADE
2004
Springer
16 years 22 days 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 ...