CAV
2007
Springer
14 years 21 days ago
2007
Springer
al Abstraction of Software Verification Conditions Domagoj Babi
CAV
2007
Springer
14 years 21 days ago
2007
Springer
CAV
2007
Springer
14 years 21 days ago
2007
Springer
CAV
2007
Springer
14 years 21 days ago
2007
Springer
We propose HyDICE, Hybrid DIscrete Continuous Exploration, a multi-layered approach for hybrid-system testing that integrates continuous sampling-based robot motion planning with d...
CAV
2007
Springer
14 years 21 days ago
2007
Springer
Abstract. Happen-before causal partial orders have been widely used in concurrent program verification and testing. This paper presents a parametric approach to happen-before causa...
CAV
2007
Springer
14 years 21 days ago
2007
Springer
Abstract. In this paper, we describe the features of the Timed Abstract State Machine toolset. The toolset implements the features of the Timed Abstract State Machine (TASM) langua...
CAV
2007
Springer
14 years 21 days ago
2007
Springer
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers are still mostly concern...
CAV
2007
Springer
14 years 21 days ago
2007
Springer
We present a simple and effective approximated backward reachability algorithm for parameterized systems with existentially and universally quantified global conditions. The indivi...
CAV
2007
Springer
14 years 21 days ago
2007
Springer
Abstract. A recent approach to automated assume-guarantee reasoning (AGR) for concurrent systems relies on computing environment assumptions for components using the L algorithm fo...
ISCA
2010
IEEE
14 years 21 days ago
2010
IEEE
As leakage and other charge storage limitations begin to impair the scalability of DRAM, non-volatile resistive memories are being developed as a potential replacement. Unfortunat...