10159 search results - page 135 / 2032 » System Design Validation Using Formal Models |
135
Voted
SEKE
2010
Springer
15 years 3 days ago
2010
Springer
Abstract--Property specification is still one of the most challenging tasks for transference of software verification technology like model checking. The use of patterns has been p...
118
click to vote
ENTCS
2008
15 years 2 months ago
2008
Engineering natural and appropriate interactive behaviour in ubiquitous computing systems presents new challenges to their developers. This paper explores formal models of interac...
105
click to vote
WSC
2004
15 years 3 months ago
2004
Traditional approaches to security evaluation have been based on penetration testing of real systems, or analysis of formal models of such systems. The former suffer from the prob...
122
Voted
GI
2001
Springer
15 years 6 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...
110
click to vote
WSC
2007
15 years 4 months ago
2007
The TCP models in ns-2 have been validated and are widely used in network research. They are however not aimed at producing results consistent with a TCP implementation, they are ...