Sciweavers

289 search results - page 6 / 58
» Verification Patterns for Rapid Embedded System Verification
Sort
View
CCR
2004
151views more  CCR 2004»
15 years 5 months ago
Practical verification techniques for wide-area routing
Protocol and system designers use verification techniques to analyze a system's correctness properties. Network operators need verification techniques to ensure the "cor...
Nick Feamster
132
Voted
ICECCS
2009
IEEE
116views Hardware» more  ICECCS 2009»
16 years 14 days ago
UML Modeling and Formal Verification of Control/Data Driven Embedded Systems
Fateh Boutekkouk, Mohamed Benmohammed
132
Voted
DATE
2005
IEEE
99views Hardware» more  DATE 2005»
15 years 11 months ago
Verification of Embedded Memory Systems using Efficient Memory Modeling
Malay K. Ganai, Aarti Gupta, Pranav Ashar