Search Sciweavers | Sciweavers

289 search results - page 7 / 58

» Verification Patterns for Rapid Embedded System Verification

click to vote

GLVLSI
1999
IEEE

81views VLSI» more GLVLSI 1999»

A Hierarchical Approach to the Formal Verification of Embedded Systems Using MDGs

13 years 11 months ago

Download users.encs.concordia.ca

Subhashini Balakrishnan, Sofiène Tahar

claim paper

Read More »

click to vote

ICCAD
1994
IEEE

70views Hardware» more ICCAD 1994»

Iterative algorithms for formal verification of embedded real-time systems

13 years 11 months ago

Download www.cs.york.ac.uk

Felice Balarin, Alberto L. Sangiovanni-Vincentelli

claim paper

Read More »

click to vote

ICFEM
2007
Springer

76views Software Engineering» more ICFEM 2007»

From Model-Based Design to Formal Verification of Adaptive Embedded Systems

13 years 11 months ago

Download www.dasmod.de

Rasmus Adler, Ina Schaefer, Tobias Schüle, Er...

claim paper

Read More »

click to vote

CAV
2001
Springer

93views Hardware» more CAV 2001»

TAXYS: A Tool for the Development and Verification of Real-Time Embedded Systems

13 years 11 months ago

Download www-verimag.imag.fr

Etienne Closse, Michel Poize, Jacques Pulou, Josep...

claim paper

Read More »

click to vote

IJPP
2006

45views more IJPP 2006»

Verification Approach of Metropolis Design Framework for Embedded Systems

13 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers