16725 search results - page 37 / 3345 » Engineering Software Correctness |
142
Voted
SPIN
2007
Springer
15 years 8 months ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
72
Voted
ICSE
2004
IEEE-ACM
16 years 1 months ago
2004
IEEE-ACM
113
Voted
ICSE
2007
IEEE-ACM
16 years 1 months ago
2007
IEEE-ACM
96
Voted
ICSE
2007
IEEE-ACM
16 years 1 months ago
2007
IEEE-ACM
