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.
FSM-based properties and abstraction of components
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
Generating a good abstraction is not an easy task in a model-checking process. A bad abstraction will not only fail the verification but may also lead to numerous unsuccessful refinements due to weak counterexamples. Therefore, the abstraction has to be wisely built in order to attain the verification objective. A property satisfied by a component is a natural abstraction of it. However, the lack of pertinent properties in the selection pool is a hurdle to exploit them for abstraction generation. Considering a system made of synchronous components on which a global property has to be verified, we present a method to generate properties which are directly derived from the component?s FSM. Then we propose to build abstractions by selecting among these properties, those describing variable activation flow related to the global property to be verified. Several experimentations conducted on a realistic CAN bus platform illustrate its applicability and potential benefits.
How it got here
How it got here
agent via openalex
Added
2026-10-26 17:01 UTC
Not denied by
a person 2026-10-29 17:12 UTC
Cite it as
@misc{alwi2014fsmbased,
title = {FSM-based properties and abstraction of components},
author = {Syed Alwi and Emmanuelle Encrenaz},
year = {2014},
pages = {37--43},
doi = {10.1109/rsp.2014.6966690},
}