Dynamic and Formal Verification of Embedded Systems: A Comparative Survey

By Loghi Mirko   Margaria Tiziana   Pravadelli Graziano   Steffen Bernhard  

International Journal of Parallel Programming, Vol. 33, Iss. 6, 2005-12 ,pp. : 585-611

Springer Publishing Company

Access to resources Recommend Favorite

Verification of Embedded Systems Based on Interval Analysis

By Ugarte Iñigo   Sanchez Pablo  

International Journal of Parallel Programming, Vol. 33, Iss. 6, 2005-12 ,pp. : 697-720

Springer Publishing Company

Access to resources Recommend Favorite

A Formal Framework for Verification of Embedded Custom Memories of the Motorola MPC7450 Microprocessor

By Bhadra Jayanta   Martin Andrew   Abraham Jacob  

Formal Methods in System Design, Vol. 27, Iss. 1-2, 2005-09 ,pp. : 67-112

Springer Publishing Company

Access to resources Recommend Favorite

A framework for modular analysis and exploration of heterogeneous embedded systems

By Hamann Arne   Jersak Marek   Richter Kai   Ernst Rolf  

Real-Time Systems, Vol. 33, Iss. 1-3, 2006-07 ,pp. : 101-137

Springer Publishing Company

Access to resources Recommend Favorite

Enhanced Symbolic Simulation for Functional Verification of Embedded Array Systems

By Wang Li-C   Feng Tao   Cheng Kwang-Ting (Tim)   Abadir Magdy S.   Pandey Manish  

Design Automation for Embedded Systems, Vol. 8, Iss. 2-3, 2003-06 ,pp. : 173-188

Springer Publishing Company

Access to resources Recommend Favorite