2838 search results - page 270 / 568 » Verifying Controlled Components |
180
click to vote
IFM
2004
Springer
16 years 5 hour ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
181
click to vote
RSP
2003
IEEE
15 years 12 months ago
2003
IEEE
Model-based testing relies on the use of behavior models to automatically generate sequences of inputs and expected outputs. These sequences can be used as test cases to the end o...
163
click to vote
KR
2010
Springer
15 years 11 months ago
2010
Springer
A plan with rich control structures like branches and loops can usually serve as a general solution that solves multiple planning instances in a domain. However, the correctness o...
149
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— This paper considers networks consisting of integral input-to-state stable (iISS) subsystems and addresses the problem of verifying iISS property of a given network. First, we ...
183
click to vote
HASE
1999
IEEE
15 years 11 months ago
1999
IEEE
The state of the art in verifying the real-time requirements of applications developed using general processing graph models relies on simulation or off-line scheduling. We extend...