The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
A new approach for early dependability evaluation based on formal property checking and controlled mutations
From OpenAlex, which stores abstracts as an
index of words and their positions: what is shown is rebuilt from that,
and reads fluently whether or not it is what the author wrote.
Abstract
The interest for early analyses of the functional impact of faults in a circuit is growing, due to the increasing probability of transient faults. However, experiments are often very long, especially when spatial and temporal multiplicity has to be taken into account in the fault model. Formal property checking is an appealing approach to perform comprehensive functional validations but is intended to validate properties only in nominal operation, not after a fault has occurred. This paper proposes a new approach combining formal property checking and the generation of specific circuit mutants to achieve efficient early identification of unacceptable effects of multiple faults.
How it got here
How it got here
agent via openalex
Added
2026-10-26 14:21 UTC
Not denied by
a person 2026-10-29 17:12 UTC
Cite it as
@misc{leveugle2005approach,
title = {A new approach for early dependability evaluation based on formal property checking and controlled mutations},
author = {R. Leveugle},
year = {2005},
journal = {IEEE International On-Line Testing Symposium (IOLTS)},
pages = {260--265},
doi = {10.1109/iolts.2005.8},
}