805 search results - page 2 / 161 » Formal Analysis of Human-computer Interaction using Model-ch... |
GI
2001
Springer
13 years 9 months ago
2001
Springer
We present the verification of a protocol designed to ensure self-stabilization in a ring of processors. The proof is organized as a series of refinements; it is mechanized base...
CHI
1994
ACM
13 years 9 months ago
1994
ACM
MOVEP
2000
13 years 9 months ago
2000
We survey principles of model checking techniques for the automatic analysis of reactive systems. The use of model checking is exemplified by an analysis of the Needham-Schroeder p...
FM
2003
Springer
13 years 10 months ago
2003
Springer
AGTIVE
2003
Springer
13 years 10 months ago
2003
Springer
Abstract. This paper presents the role of meta-modelling and graph transformation in our approach for the modelling, analysis and simulation of complex systems. These are made of c...