1472 search results - page 125 / 295 » On Model Checking Infinite-State Systems |
137
click to vote
QEST
2009
IEEE
15 years 11 months ago
2009
IEEE
—Failure mode and effects analysis (FMEA) is a technique to reason about possible system hazards that result from system or system component failures. Traditionally, FMEA does no...
166
click to vote
WSE
2005
IEEE
15 years 9 months ago
2005
IEEE
Many of existing criteria for evaluating web sites quality require methods such as heuristic evaluations, or/and empirical usability tests. This paper aims at defining a quality m...
163
click to vote
ASPDAC
2001
ACM
15 years 7 months ago
2001
ACM
Abstract-- Image computation is the core operation for optimization and formal verification of sequential systems like controllers or protocols. State exploration techniques based ...
135
click to vote
TCAD
2008
15 years 4 months ago
2008
The quality and the correctness of software is often the greatest concern in electronic systems. Formal verification tools can provide a guarantee that a design is free of specific...
121
Voted
ATVA
2006
Springer
15 years 7 months ago
2006
Springer
We present the implementation of the trace theory in a new model checking tool framework, POEM, that has a strong emphasis on Partial Order Methods. A tree structure is used to sto...