| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Automated Compositional Abstraction Refinement for Concurrent C Programs: A Two-Level Approach
|
Chaki, Sagar
|
|
2003
|
89 |
3 |
p. 417-432
16 p.
|
artikel
|
| 2 |
Automatically Verifying Concurrent Queue Algorithms
|
Yahav, Eran
|
|
2003
|
89 |
3 |
p. 450-463
14 p.
|
artikel
|
| 3 |
Comparing Abstraction Refinement Algorithms
|
Dams, Dennis
|
|
2003
|
89 |
3 |
p. 405-416
12 p.
|
artikel
|
| 4 |
Experience with Abstraction-carrying Code
|
Xia, Songtao
|
|
2003
|
89 |
3 |
p. 433-449
17 p.
|
artikel
|
| 5 |
Interface-Based Specification and Verification of Concurrency Controllers
|
Betin-Can, Aysu
|
|
2003
|
89 |
3 |
p. 464-479
16 p.
|
artikel
|
| 6 |
SoftMC 2003: Workshop on Software Model Checking
|
Cook, Byron
|
|
2003
|
89 |
3 |
p. 377-
1 p.
|
artikel
|
| 7 |
Some Lessons from Using Static Analysis and Software Model Checking for Bug Finding
|
Musuvathi, Madanlal
|
|
2003
|
89 |
3 |
p. 378-404
27 p.
|
artikel
|
| 8 |
Space-Reduction Strategies for Model Checking Dynamic Software
|
Robby,
|
|
2003
|
89 |
3 |
p. 499-517
19 p.
|
artikel
|
| 9 |
Symbolic Model Checking of Software
|
Lerda, Flavio
|
|
2003
|
89 |
3 |
p. 480-498
19 p.
|
artikel
|
| 10 |
Transactions for Software Model Checking
|
Flanagan, Cormac
|
|
2003
|
89 |
3 |
p. 518-539
22 p.
|
artikel
|
Tijdschrift beschrijving