2407 search results - page 150 / 482 » A Tool for Abstraction in Model Checking |
196
Voted
SPIN
2004
Springer
16 years 9 days ago
2004
Springer
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...
194
click to vote
IEEESCC
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we present a model-driven, domaincentric tool allowing the specification of service-oriented ions through abstract services composition. Executable applications, ma...
179
Voted
JISE
1998
15 years 6 months ago
1998
straction reduces the number of states necessary to perform formal verification while maintaining the functionality of the original model with respect to ifications to be verified....
158
Voted
MLMI
2005
Springer
16 years 13 days ago
2005
Springer
Abstract. We aim to create a model of emotional reactive virtual humans. This model will help to define realistic behavior for virtual characters based on emotions and events in t...
249
click to vote
SPE
2011
15 years 1 months ago
2011
Abstract. Two methods have been identified for Event-B model decomposition: shared variable and shared event. The purpose of this paper is to introduce the two approaches and the ...