1463 search results - page 202 / 293 » Model Checking Implicit-Invocation Systems |
108
click to vote
REFSQ
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. [Context and motivation] Ever-growing systems’ complexity and novel requirements engineering approaches such as reuse or globalization imply that requirements are produ...
110
click to vote
EDOC
2006
IEEE
15 years 7 months ago
2006
IEEE
The correctness of business process models is of paramount importance for the application on an enterprise level. A severe problem is that several languages for business process m...
118
click to vote
CORR
2007
Springer
15 years 1 months ago
2007
Springer
This paper deals with a common verification methodology and environment for SystemC BCA and RTL models. The aim is to save effort by avoiding the same work done twice by different...
CGF
1999
15 years 1 months ago
1999
We describe an approach for interactive collision detection and proximity computations on massive models composed of millions of geometric primitives. We address issues related to...
222
click to vote
PLDI
2009
ACM
16 years 2 months ago
2009
ACM
Reasoning about string variables, in particular program inputs, is an important aspect of many program analyses and testing frameworks. Program inputs invariably arrive as strings...