3147 search results - page 233 / 630 » Open-Source Model Checking |
157
click to vote
ISSTA
2012
ACM
13 years 5 months ago
2012
ACM
We introduce the concept of “residual investigation” for program analysis. A residual investigation is a dynamic check installed as a result of running a static analysis that ...
146
click to vote
CONCUR
2007
Springer
15 years 9 months ago
2007
Springer
The model checking problem for finite-state open systems (module checking) has been extensively studied in the literature, both in the context of environments with perfect and imp...
127
Voted
COMPUTER
2002
15 years 3 months ago
2002
tail defines the level of abstraction used to implement the model's components. A highly detailed model will faithfully simulate all aspects of machine operation, whether or n...
110
click to vote
ASPDAC
2008
ACM
15 years 5 months ago
2008
ACM
Accurate modeling of delay, power, and area of interconnections early in the design phase is crucial for effective system-level optimization. Models presently used in system-level...
133
click to vote
AEI
2010
15 years 3 months ago
2010
The planning and management of supply chains require properly specifying the participating members and the relationships among them. Construction supply chains usually consist of n...