5 search results - page 1 / 1 » Abstract Certification of Global Non-Interference in Rewriti... |
73
Voted
CORR
2010
Springer
15 years 13 days ago
2010
Springer
99
Voted
FMICS
2008
Springer
15 years 1 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...
136
Voted
JCST
2010
14 years 7 months ago
2010
With recent efforts to build foundational certified software systems, two different approaches have been proposed to certify thread context switching. One is to certify both thread...
114
click to vote
CADE
2004
Springer
16 years 20 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 ...
VVEIS
2007
15 years 1 months ago
2007
Being the de-facto standard (object-oriented-OO) method(-logy) for software-intensive systems development, UML with its different diagrams and supporting tools represent nowadays t...