5255 search results - page 320 / 1051 » Formal Methods for Privacy |
133
click to vote
FORMATS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. In this paper we report a new SAT solver for difference logic, a propositional logic enriched with timing constraints. The main novelty of our solver is a tighter integra...
123
click to vote
FM
2006
Springer
15 years 8 months ago
2006
Springer
This paper addresses the frame problem for programming theories that support both sharing and encapsulation through specification variables. The concept of dynamic frames is introd...
143
click to vote
FM
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. The paper introduces the construct of temporal testers as a compositional basis for the construction of automata corresponding to temporal formulas in the PSL logic. Temp...
137
click to vote
FM
2006
Springer
15 years 8 months ago
2006
Springer
Medical guidelines are useful to standardize health care. As thousands of patients are treated according to these guidelines, the quality of guidelines is an important issue. In th...
122
Voted
FMCAD
2006
Springer
15 years 8 months ago
2006
Springer
We present an approach to automatic synthesis of specifications given in Linear Time Logic. The approach is based on a translation through universal co-B