164 search results - page 23 / 33 » Refinement and Verification of Real-Time Systems |
134
Voted
FAC
2010
15 years 2 months ago
2010
Inspired by the properties of the refinement development of the Mondex Electronic Purse, we view an isolated atomic action as a family of transitions with a common before-state, an...
159
click to vote
IJCAI
2003
15 years 6 months ago
2003
This paper addresses the formal verification of diagnosis systems. We tackle the problem of diagnosability: given a partially observable dynamic system, and a diagnosis system obs...
136
click to vote
JLP
2008
15 years 5 months ago
2008
models, used for specification, analysis and verification, usually describe sets of implementations by means of a refinement relation. In the branching time setting, implementatio...
135
click to vote
DATE
2004
IEEE
15 years 8 months ago
2004
IEEE
In this paper, we present a technique to design and verify the Look-Aside (LA-1) Interface standard used in network processors. Our design flow includes several refinements starti...
133
click to vote
FORTE
1990
15 years 6 months ago
1990
This paper describes a decision procedure for bisimulation-based equivalence relations between labeled transition systems. The algorithm usually performed in order to verify bisim...