1018 search results - page 66 / 204 » Abstraction and Refinement in Model Checking |
138
click to vote
GI
2009
Springer
15 years 1 months ago
2009
Springer
Abstract: Today's trend in software and system engineering is to utilize more specialized models. This model-based development approach makes a single engineering task more ea...
131
Voted
SOSE
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract Web services choreography describes the global model of service interactions among a set of participants. In order to achieve a common business goal, the protocols of inte...
134
click to vote
GI
2009
Springer
15 years 8 months ago
2009
Springer
: Model-checking is a way of testing the correctness of concurrent programs. To do so, a model of the program is proven to match properties and constraints specified by the progra...
155
click to vote
FASE
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. This paper presents a systematic consideration of the major issues involved in translation of executable design level software specification languages to directly model-c...
135
click to vote
FORMATS
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. In this paper, we propose a new framework for the parametric verification of time Petri nets with stopwatches controlled by inhibitor arcs. We first introduce an extensio...