Formal methods for analysis of heterogeneous models of embedded systems

Technological development in micro-electronics have made digital control an indispensable component in all engineering systems. The rapid pace of development and the demands on modern systems in terms of novel functions and shorter development cycles has led to many challenges in system design and verication. The down side of improved functionality is the… CONTINUE READING