2407 search results - page 90 / 482 » A Tool for Abstraction in Model Checking |
175
click to vote
SOSE
2008
IEEE
16 years 21 days 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...
198
click to vote
FASE
2004
Springer
15 years 10 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...
177
click to vote
FORMATS
2008
Springer
15 years 7 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...
143
click to vote
CEEMAS
2007
Springer
16 years 15 days ago
2007
Springer
Abstract In this work we describe the development process of multiagent application design and implementation with Mulan. Our approach can be characterized as model driven developm...
270
click to vote
CP
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. In this paper, we show how model-checking can be generalized to temporal logic constraint solving, by considering temporal logic formulae with free variables over some do...