1018 search results - page 11 / 204 » Abstraction and Refinement in Model Checking |
106
click to vote
FAC
2008
15 years 16 days ago
2008
This paper describes how the communication protocol of Mondex electronic purses can be specified and verified against desired security properties. The specification is developed by...
111
click to vote
ASPDAC
2009
ACM
15 years 5 months ago
2009
ACM
— This paper proposes the first automatic approach to simultaneously generate Cycle Accurate and Cycle Count Accurate transaction level bus models. Since TLM (Transaction Level M...
102
Voted
FMCAD
2009
Springer
15 years 4 months ago
2009
Springer
This paper discusses a methodology used on an industrial hardware development project to validate various cache-coherence protocol components. The idea is to use a high level model...
109
Voted
TCAD
2008
15 years 11 days ago
2008
Due to the increasing abstraction gap between the initial system model and a final implementation, the verification of the respective models against each other is a formidable task...