2407 search results - page 187 / 482 » A Tool for Abstraction in Model Checking |
190
click to vote
CAV
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. Many software model checkers are based on predicate abstraction. If the verification goal depends on pointer structures, the approach does not work well, because it is di...
213
click to vote
IANDC
2008
15 years 7 months ago
2008
Hybrid systems are dynamical systems with the ability to describe mixed discretecontinuous evolution of a wide range of systems. Consequently, at first glance, hybrid systems appe...
180
click to vote
BIS
2008
15 years 8 months ago
2008
The increasing utilization of business process models both in business analysis and information systems development raises several issues regarding quality measures. In this contex...
221
click to vote
FIDJI
2003
Springer
16 years 11 days ago
2003
Springer
— We present techniques for analyzing the source code of distributed Java applications, and building finite models of their behaviour. The models are labelled transition systems...
205
click to vote
SOCASE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Existing computer science approaches to business modeling offer lowstractions such as data and control flows, which fail to capture the business intent underlying the in...