207 search results - page 26 / 42 » Testing and Model-Checking Techniques for Diagnosis |
115
click to vote
BDIM
2008
IEEE
15 years 6 months ago
2008
IEEE
—The timely and efficient management of faults that affect the quality of services delivered to customers is an important issue for service providers with respect to their busin...
122
click to vote
SPIN
2007
Springer
15 years 5 months ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
113
click to vote
FMICS
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Bounded model checking (BMC) based on satisfiability testing (SAT) has been introduced as a complementary technique to BDDbased symbolic model checking of LTL properties ...
101
click to vote
GECCO
2005
Springer
15 years 5 months ago
2005
Springer
We present a molecular computing algorithm for evolving DNA-encoded genetic programs in a test tube. The use of synthetic DNA molecules combined with biochemical techniques for va...
105
click to vote
ECBS
2010
IEEE
15 years 6 months ago
2010
IEEE
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...