10 search results - page 1 / 2 » fmics 2008 |
FMICS
2008
Springer
14 years 11 months ago
2008
Springer
FMICS
2008
Springer
14 years 10 months ago
2008
Springer
FMICS
2008
Springer
14 years 10 months ago
2008
Springer
FMICS
2008
Springer
14 years 11 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
14 years 11 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...