4 search results - page 1 / 1 » Automated Certification of Non-Interference in Rewriting Log... |
FMICS
2008
Springer
13 years 5 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...
CORR
2010
Springer
13 years 4 months ago
2010
Springer
IJAIT
2006
13 years 4 months 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...
CADE
2004
Springer
14 years 4 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 ...