858 search results - page 29 / 172 » Formal Verification of Digital Systems |
112
click to vote
HVC
2007
Springer
15 years 2 months ago
2007
Springer
Implementations of computer systems comprise many layers and employ a variety of programming languages. Building such systems requires support of an often complex, accompanying too...
HYBRID
2007
Springer
15 years 2 months ago
2007
Springer
Abstract. In this paper, we propose a new approach for formal verification of hybrid systems. To do so, we present a new refinement proof technique, a weak refinement using step in...
106
click to vote
ICFEM
1998
Springer
15 years 2 months ago
1998
Springer
Studying industrial systems by simulation enables the designer to study the dynamic behaviour and to determine some characteristics of the system. Unfortunately, simulation also h...
DATE
2003
IEEE
15 years 3 months ago
2003
IEEE
Today’s mobile communication systems use sophisticated signal processing to achieve high transmission rates. Therefore a high complexity in the digital system part as well as ve...
INFORMATICALT
2002
14 years 10 months ago
2002
This paper is concerned with design, implementation and verification of persistent purely functional data structures which are motivated by the representation of natural numbers us...