666 search results - page 31 / 134 » Inspector Methods for State Abstraction |
FMCAD
2007
Springer
15 years 1 months ago
2007
Springer
We present a framework for formal verification of embedded custom memories. Memory verification is complicated ifficulty in abstracting design parameters induced by the inherently ...
55
Voted
IROS
2006
IEEE
15 years 3 months ago
2006
IEEE
Abstract— In this paper, the Independence Relative Map algorithm is presented. The algorithm aims to achieve the independence of relative map states. We show that using dependent...
HYBRID
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. Sincehybridembeddedsystemsarepervasiveandoftensafetycritical, guarantees about their correct performance are desirable. The hybrid systemsmodelcheckerHyTech providessuch ...
FMCAD
2006
Springer
15 years 1 months ago
2006
Springer
Abstract-- This paper describes a symbolic algorithm for overapproximating reachability in Boolean programs with unbounded thread creation. The fix-point is detected by projecting ...
CDC
2010
IEEE
14 years 4 months ago
2010
IEEE
Abstract-- Given a family of real or complex monic polynomials of fixed degree with one fixed affine constraint on their coefficients, consider the problem of minimizing the root r...