A comprehensive introduction to the foundations of model checking, a fully automated
technique for finding flaws in hardware and software; with extensive examples and both …

Although multi-label learning can deal with many problems with label ambiguity, it does not
fit some real applications well where the overall distribution of the importance of the labels …

Decision diagrams (DDs) are the state-of-the-art data structure in VLSI CAD and have been
successfully applied in many other fields. DDs are widely used and are also integrated in …

In two editions spanning more than a decade, The Electrical Engineering Handbook stands
as the definitive reference to the multidisciplinary field of electrical engineering. Our …

In this paper we introduce constraint automata and propose them as an operational model
for Reo, an exogenous coordination language for compositional construction of component …

A software product line (SPL) encodes a potentially large variety of software products as
variants of some common code base. Up until now, re-using traditional static analyses for …

Recently, a lot of effort has been put into develo** formal verification approaches by both
academic and industrial research. In practice, these techniques often give satisfying results …

Only by formal verification approaches functional correctness can be ensured. While for
many circuits fast verification is possible, in other cases the approaches fail. In general no …

Spectral techniques facilitate the design and testing of today's increasingly complex digital
devices There is heightened interest in spectral techniques for the design of digital devices …

Approximate circuits are digital circuits that are intentionally designed in such a way that the
specification is violated in terms of functionality in order to obtain some improvements in …