571 search results - page 45 / 115 » Performing causality analysis by bounded model checking |
163
Voted
SIGSOFT
2003
ACM
16 years 4 months ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...
123
click to vote
CAV
2010
Springer
15 years 7 months ago
2010
Springer
We present a graphical toolset for verifying AADL models, which are gaining widespread acceptance in aerospace, automobile and avionics industries for comprehensively specifying sa...
138
click to vote
SAT
2004
Springer
15 years 9 months ago
2004
Springer
Modern algorithms for the SAT problem reveal an almost tractable behavior on “real-world” instances. This is frequently contributed to the fact that these instances possess an ...
139
Voted
IANDC
2008
15 years 3 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...
120
click to vote
CGF
1998
15 years 3 months ago
1998
In this paper, we present an e cient algorithm for contact determination between spline models. We make use of a new hierarchy, called ShellTree, that comprises of spherical shell...