2836 search results - page 27 / 568 » Model Checking for Software Architectures |
100
Voted
ICSE
1999
IEEE-ACM
15 years 7 months ago
1999
IEEE-ACM
190
Voted
COMPSAC
2011
IEEE
14 years 3 months ago
2011
IEEE
127
Voted
ATVA
2009
Springer
15 years 10 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...
130
click to vote
ETS
2010
IEEE
15 years 4 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...
104
Voted
DAC
1998
ACM
16 years 4 months ago
1998
ACM
