449 search results - page 14 / 90 » Formal Modeling of Communication Protocols by Graph Transfor... |
115
Voted
FMICS
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...
ASM
2008
ASM
15 years 1 months ago
2008
ASM
We address the proof-based development of cryptographic protocols satisfying security properties. Communication channels are supposed to be unsafe. Analysing cryptographic protocol...
MODELS
2007
Springer
15 years 5 months ago
2007
Springer
The integration of different models, such as scenarios, is an important component of the requirements engineer’s work. If manually performed, the integration operation is error-...
GG
2004
Springer
15 years 5 months ago
2004
Springer
The concept of typed attributed graph transformation is most significant for modeling and meta modeling in software engineering and visual languages, but up to now there is no ade...
89
Voted
ATVA
2009
Springer
15 years 3 months ago
2009
Springer
We present a framework for certifying hardware designs generated through behavioral synthesis, by using formal verification to certify the associated synthesis transformations. We ...