| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Approximate Symbolic Model Checking using Overlapping Projections
|
Govindaraju, Shankar G.
|
|
2001
|
23 |
2 |
p. 23-33
11 p.
|
artikel
|
| 2 |
Combining Local and Global Model Checking
|
Biere, Armin
|
|
2001
|
23 |
2 |
p. 34-45
12 p.
|
artikel
|
| 3 |
Concurrent Symbolic Verification of Liveness Properties for Interleaved Models
|
Balarin, Felice
|
|
2001
|
23 |
2 |
p. 1-10
10 p.
|
artikel
|
| 4 |
Evaluating Semi-Exhaustive Verification Techniques for Bug Hunting
|
Fraer, Ranan
|
|
2001
|
23 |
2 |
p. 11-22
12 p.
|
artikel
|
| 5 |
Fully Symbolic Model Checking of Timed Systems using Difference Decision Diagrams 1 1 This work was carried out while the authors were at the Department of Information Technology, Technical University of Denmark, and was finnancially supported by a grant from the Danish Technical Research Council.
|
Møller, Jesper
|
|
2001
|
23 |
2 |
p. 88-107
20 p.
|
artikel
|
| 6 |
Improving Termination of MDG-Based Abstract State Enumeration via Term Schematization
|
Renault, S.
|
|
2001
|
23 |
2 |
p. 57-74
18 p.
|
artikel
|
| 7 |
Model Checking Semi-Continuous Time Models Using BDDs
|
Campos, Sérgio
|
|
2001
|
23 |
2 |
p. 75-87
13 p.
|
artikel
|
| 8 |
Model-Generation of a Fictitious Clock Real-Time Logic Using Sharing Trees
|
Ferier, Laurent
|
|
2001
|
23 |
2 |
p. 108-126
19 p.
|
artikel
|
| 9 |
Preface
|
Cimatti, Alessandro
|
|
2001
|
23 |
2 |
p. 127-128
2 p.
|
artikel
|
| 10 |
Symbolic State Exploration
|
Somenzi, Fabio
|
|
2001
|
23 |
2 |
p. 46-56
11 p.
|
artikel
|
Tijdschrift beschrijving