858 search results - page 67 / 172 » Formal Verification of Digital Systems |
86
Voted
FMCO
2009
Springer
14 years 8 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...
178
Voted
POPL
2006
ACM
15 years 11 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...
90
Voted
ATVA
2006
Springer
15 years 2 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...
76
Voted
ESORICS
2009
Springer
15 years 11 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...
171
Voted
POPL
2007
ACM
15 years 11 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 ...