2661 search results - page 59 / 533 » Model Checking Performability Properties |
155
click to vote
IJCSA
2007
15 years 5 months ago
2007
Timed Concurrent State Machines are an application of Alur’s Timed Automata concept to coincidence-based (rather than interleaving) CSM modeling technique. TCSM support the idea...
134
click to vote
TASE
2008
IEEE
15 years 11 months ago
2008
IEEE
Verification techniques like SAT-based bounded model checking have been successfully applied to a variety of system models. Applying bounded model checking to compositional proce...
160
click to vote
TABLEAUX
2009
Springer
15 years 11 months ago
2009
Springer
We are interested in automatically proving safety properties of infinite state systems. We present a technique for invariant synthesis which can be incorporated in backward reacha...
136
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...
157
click to vote
QEST
2007
IEEE
15 years 11 months ago
2007
IEEE
— Probabilistic models are widely used to analyze embedded, networked, and more recently biological systems. Existing numerical analysis techniques are limited to finitestate mo...