2836 search results - page 27 / 568 » Model Checking for Software Architectures |
94
Voted
ICSE
1999
IEEE-ACM
15 years 6 months ago
1999
IEEE-ACM
177
Voted
COMPSAC
2011
IEEE
14 years 2 months ago
2011
IEEE
120
click to vote
ATVA
2009
Springer
15 years 9 months ago
2009
Springer
Code model checking is a rapidly advancing research topic. However, apart from very constrained scenarios (e.g., verification of device drivers by Slam), the code model checking t...
124
Voted
ETS
2010
IEEE
15 years 3 months ago
2010
IEEE
Post-silicon validation and debug, or ensuring that software executes correctly on the silicon of a multi-processor system-on-chip (MPSOC) is complicated, as it involves checking g...
97
Voted
DAC
1998
ACM
16 years 3 months ago
1998
ACM
