2514 search results - page 375 / 503 » The use of industrial-strength formal methods |
178
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
We present the key ideas in the design and implementation of Beaver, an SMT solver for quantifier-free finite-precision bit-vector logic (QF BV). Beaver uses an eager approach, enc...
175
click to vote
MEMOCODE
2007
IEEE
16 years 20 days ago
2007
IEEE
Bluespec is a high-level hardware description language used for architectural exploration, hardware modeling and synthesis of semiconductor chips. In Bluespec, one views hardware ...
143
click to vote
FMCAD
2007
Springer
16 years 17 days ago
2007
Springer
—Embedded systems typically consist of a composition of a set of hardware and software IP modules. Each module is heavily optimized by itself. However, when these modules are com...
192
click to vote
FMICS
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...
176
click to vote
CBMS
2006
IEEE
16 years 14 days ago
2006
IEEE
— Most biomedical research databases contain considerable amounts of time-oriented data. However, temporal knowledge about the contextual meaning of such data is not usually repr...