46 search results - page 10 / 10 » Automatic Binding-Related Error Diagnosis in Logic Programs |
ICSE
2010
IEEE-ACM
13 years 7 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 ...