10159 search results - page 215 / 2032 » System Design Validation Using Formal Models |
122
click to vote
IKE
2003
15 years 4 months ago
2003
Collaboration based on computers involves two factors, human users and computer systems. When we hope to build a feasible and efficient collaborative system, we must consider both...
139
click to vote
TSE
2008
15 years 2 months ago
2008
Test adequacy criteria provide the engineer with guidance on how to populate test suites. While adequacy criteria have long been a focus of research, existing testing methods do no...
117
click to vote
FM
1999
Springer
15 years 7 months ago
1999
Springer
ÐIn this paper, we describe the incremental specification of a power transformer station controller using a controller synthesis methodology. We specify the main requirements as s...
125
click to vote
ADC
2006
Springer
15 years 6 months ago
2006
Springer
The quality of database distribution design, which involves fragmentation and allocation, should be assessed by the performance of a system. In particular, this applies to non-rel...
110
click to vote
CODES
2002
IEEE
15 years 7 months ago
2002
IEEE
This paper describes the formal verification of the recently introduced Dual Transition Petri Net (DTPN) models [12], using model checking techniques. The methodology presented a...