575 search results - page 52 / 115 » Formal Coverification of Embedded Systems Using Model Checki... |
131
click to vote
IEEEHPCS
2010
15 years 20 days ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
131
Voted
NSDI
2004
15 years 3 months ago
2004
Network protocols must work. The effects of protocol specification or implementation errors range from reduced performance, to security breaches, to bringing down entire networks....
143
click to vote
EMSOFT
2009
Springer
15 years 8 months ago
2009
Springer
System-on-Chip (SoC) is a promising paradigm to implement safety-critical embedded systems, but it poses significant challenges from a design and verification point of view. In ...
135
Voted
DAC
2007
ACM
16 years 3 months ago
2007
ACM
Many embedded systems contain resource constrained microcontrollers where applications, operating system components and device drivers reside within a single address space with no...
135
Voted
ICONS
2009
IEEE
15 years 8 months ago
2009
IEEE
Most recent software related accidents have been system accidents. To validate the absence of system hazards concerning dysfunctional interactions, industrials call for approaches...