10 search results - page 1 / 2 » fmics 2008 |
FMICS
2008
Springer
13 years 6 months ago
2008
Springer
FMICS
2008
Springer
13 years 5 months ago
2008
Springer
FMICS
2008
Springer
13 years 5 months ago
2008
Springer
FMICS
2008
Springer
13 years 6 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...
FMICS
2008
Springer
13 years 6 months ago
2008
Springer
This paper presents an experience report on the specification and the validation of a real case study in the context of the industrial CRISTAL project. The case study concerns a pl...