1809 search results - page 199 / 362 » Software Model Checking Using Linear Constraints |
105
click to vote
TSE
2002
15 years 1 months ago
2002
This paper presents a new approach to software reliability modeling by grouping data into clusters of homogeneous failure intensities. This series of data clusters associated with...
125
Voted
VMCAI
2009
Springer
15 years 9 months ago
2009
Springer
This paper describes the methods used in Empire, a tool to detect concurrency-related bugs, namely atomic-set serializability violations in Java programs. The correctness criterion...
107
Voted
AMAST
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. State space explosion is the hardest challenge to the effective application of model checking methods. We present a new technique for achieving drastic state space reduct...
100
click to vote
TCAD
2010
14 years 9 months ago
2010
Abstract--Functional verification is one of the major bottlenecks in system-on-chip design due to the combined effects of increasing complexity and lack of automated techniques for...
119
Voted
SIAMJO
2011
14 years 9 months ago
2011
Abstract. We propose a unifying framework for polyhedral approximation in convex optimization. It subsumes classical methods, such as cutting plane and simplicial decomposition, bu...