5255 search results - page 322 / 1051 » Formal Methods for Privacy |
125
click to vote
ZUM
2000
Springer
15 years 8 months ago
2000
Springer
Unlike Z, Object-Z allows schemas to be defined recursively. This enables mutual and self recursive structures, commonly occurring in object-oriented programs, to be readily specif...
110
click to vote
ZUM
2000
Springer
15 years 8 months ago
2000
Springer
We propose an extension to Z whereby generic parameters may have their types partially constrained. Using this mechanism it becomes possible to dene in Z much of its own schema cal...
110
click to vote
AMAST
2008
Springer
15 years 6 months ago
2008
Springer
The complexity of specification development and verification of large systems has to be mastered. In this paper a specification of a real case study, a platoon of Cristal vehicles ...
144
click to vote
FMICS
2008
Springer
15 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...
118
click to vote
FORMATS
2010
Springer
15 years 2 months ago
2010
Springer
This paper presents extensions of Safraless algorithms proposed in the literature for automata on infinite untimed words to the case of automata on infinite timed words.