858 search results - page 67 / 172 » Formal Verification of Digital Systems |
109
click to vote
FMCO
2009
Springer
14 years 11 months ago
2009
Springer
Abstract. The paradigms of service-oriented computing and modeldriven development are becoming of increasing importance in the field of software engineering. According to these par...
206
click to vote
POPL
2006
ACM
16 years 2 months ago
2006
ACM
Traditional static type systems are very effective for verifying basic interface specifications, but are somewhat limited in the kinds specificationsthey support. Dynamically-chec...
110
click to vote
ATVA
2006
Springer
15 years 5 months ago
2006
Springer
Of special interest in formal verification are safety properties, which assert that the system always stays within some allowed region. Each safety property can be associated with...
101
click to vote
ESORICS
2009
Springer
16 years 2 months ago
2009
Springer
We present a formal model for stateful security protocols. This model is used to define ownership and ownership transfer as concepts as well as security properties. These definitio...
209
click to vote
POPL
2007
ACM
16 years 2 months ago
2007
ACM
In recent years we have seen great progress made in the area of automatic source-level static analysis tools. However, most of today's program verification tools are limited ...