4036 search results - page 187 / 808 » Formal Methods |
167
click to vote
FMICS
2008
Springer
15 years 8 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...
141
click to vote
FORMATS
2010
Springer
15 years 4 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.
147
click to vote
ISOLA
2010
Springer
15 years 4 months ago
2010
Springer
We describe the scope, organization, and expected outcomes of the Task Forces of the EternalS Coordination Action. The goal of the Task Forces is to provide structure and focus to ...
149
Voted
SAS
2010
Springer
15 years 4 months ago
2010
Springer
ion Refinement Alexander Malkis1 , Andreas Podelski2 , and Andrey Rybalchenko3 1 IMDEA Software 2 University of Freiburg 3 TU M
195
click to vote
SBMF
2010
Springer
15 years 1 months ago
2010
Springer
This paper presents a framework to reason about the eects of assignments in recursive data structures. We dene an operational semantics for a core language based on Meyer's id...