2873 search results - page 359 / 575 » Model Checking and the Mu-calculus |
124
click to vote
DATE
2004
IEEE
15 years 7 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...
137
click to vote
EUROMICRO
2007
IEEE
15 years 5 months ago
2007
IEEE
BPEL is a de-facto standard language for web service orchestration. It is a challenge to test BPEL processes automatically because of the complex features of the language. The cur...
141
Voted
FORTE
2007
15 years 5 months ago
2007
Abstract. The publish-subscribe architectural style has recently emerged as a promising approach to tackle the dynamism of modern distributed applications. The correctness of these...
112
Voted
COORDINATION
2010
Springer
15 years 4 months ago
2010
Springer
In the context of service-oriented computing, behavioural contracts are descriptions of the message-passing behaviour of services. They can be used to check properties of service c...
120
click to vote
ENTCS
2007
15 years 3 months ago
2007
If a program does not fulfill a given specification, a model checker delivers a counterexample, a run which demonstrates the wrong behavior. Even with a counterexample, locating...