2407 search results - page 119 / 482 » A Tool for Abstraction in Model Checking |
178
click to vote
ECOOP
2004
Springer
16 years 7 days ago
2004
Springer
Today’s mainstream object-oriented compilers and tools do not support declaring and statically checking simple pre- and postconditions on methods and invariants on object represe...
188
click to vote
SIGSOFT
2005
ACM
16 years 7 months ago
2005
ACM
We present a technique that enables the use of finite model finding to check the satisfiability of certain formulas whose intended models are infinite. Such formulas arise when us...
143
click to vote
WOA
2007
15 years 8 months ago
2007
abstract we give an overview of the PDT, the modelling environment that is a part of the PRACTIONIST suite (figure 1), the metamodel it is built on, and a brief
303
click to vote
POPL
2005
ACM
16 years 7 months ago
2005
ACM
While a typical software component has a clearly specified (static) interface in terms of the methods and the input/output types they support, information about the correct sequen...
228
click to vote
IS
2012
14 years 2 months ago
2012
Large corporations increasingly utilize business process models for documenting and redesigning their operations. The extent of such modeling initiatives with several hundred mode...