2838 search results - page 287 / 568 » Verifying Controlled Components |
109
Voted
DSRT
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper describes a new property checking approach in order to enhance the diagnosis ability of an electronic embedded system, included in an automotive application. We conside...
123
Voted
TASE
2007
IEEE
15 years 9 months ago
2007
IEEE
Symmetry reduction is a technique that can help alleviate the problem of state space explosion in model checking. The idea is to verify only a subset of states from each class (or...
153
Voted
CALCO
2007
Springer
15 years 8 months ago
2007
Springer
Much current work on modelling and verifying microprocessors can accommodate pipelined and superscalar processors. However, superscalar and pipelined processors are no longer state...
135
Voted
APSEC
2006
IEEE
15 years 8 months ago
2006
IEEE
The technology of a home network system (HNS) allows integration of several kinds of home appliances to provide a user with value-added integrated services. Development of the int...
88
Voted
ICAC
2005
IEEE
15 years 8 months ago
2005
IEEE
As software comes under increasing scrutiny for its lack of safety and reliability, numerous static and partially dynamic tools (including model checking) have been proposed for v...