2878 search results - page 228 / 576 » Model Checking FTA |
151
click to vote
CAISE
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. The increasing adoption of MDD (Model Driven Development) techniques favored the use of large models of different types. It turns out that when the modeled system gets la...
153
click to vote
JGO
2011
14 years 7 months ago
2011
Abstract In many problems from different disciplines such as engineering, physics, medicine, and biology, a series of experimental data is used in order to generate a model that ca...
203
Voted
FROCOS
2011
Springer
14 years 4 months ago
2011
Springer
Temporal data models have been used to describe how data can evolve in the context of temporal databases. Both the Extended Entity-Relationship (EER) model and the Unified Modelli...
142
click to vote
AMAI
2010
Springer
15 years 1 months ago
2010
Springer
Abstract We present a new approximate verification technique for falsifying the invariants of B models. The technique employs symmetry of B models induced by the use of deferred se...
165
click to vote
ERSHOV
2009
Springer
15 years 2 months ago
2009
Springer
Model checking of software has been a very active research topic recently. As a result, a number of software model checkers have been developed for analysis of software written in ...