204 search results - page 2 / 41 » Efficient Modeling of Embedded Memories in Bounded Model Che... |
ECBS
2010
IEEE
13 years 9 months ago
2010
IEEE
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...
ICSE
2010
IEEE-ACM
13 years 6 months ago
2010
IEEE-ACM
The transition from single-core to multi-core processors has made multi-threaded software an important subject over the last years in computer-aided verification. Model checkers ...
DATE
2005
IEEE
13 years 10 months ago
2005
IEEE
CHARME
2003
Springer
13 years 10 months ago
2003
Springer
DATE
2005
IEEE
13 years 10 months ago
2005
IEEE
