10159 search results - page 448 / 2032 » System Design Validation Using Formal Models |
171
click to vote
MOVEP
2000
15 years 8 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...
128
click to vote
ACMSE
2006
ACM
15 years 10 months ago
2006
ACM
The design of large-scale, distributed, performance-sensitive systems presents numerous challenges due to their networkcentric nature and stringent quality of service (QoS) requir...
108
click to vote
OOPSLA
2007
Springer
15 years 11 months ago
2007
Springer
The advent of domain-specific modeling in enterprise systems development has given rise to new tool requirements. Existing tools do not offer sufficient modeling guidance or inc...
139
click to vote
HASE
2007
IEEE
15 years 6 months ago
2007
IEEE
Recent work in the area of Model-based Safety Analysis has demonstrated key advantages of this methodology over traditional approaches, for example, the capability of automatic ge...
130
click to vote
FTRTFT
1998
Springer
15 years 9 months ago
1998
Springer
Predictability is crucial in critical applications and systems. Therefore, we examine sources of uncertainty for each of the four phases that span a project lifecycle, from initial...