| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Automatic Formal Synthesis of Hardware from Higher Order Logic
|
Gordon, Mike
|
|
2006
|
145 |
C |
p. 27-43
17 p.
|
artikel
|
| 2 |
Concurrent LSC Verification
|
Toben, Tobe
|
|
2006
|
145 |
C |
p. 95-111
17 p.
|
artikel
|
| 3 |
Linking Semantic Models to Support CSP ∥ B Consistency Checking
|
Evans, Neil
|
|
2006
|
145 |
C |
p. 201-217
17 p.
|
artikel
|
| 4 |
Machine-Verifiable Responsiveness
|
Reed, J.N.
|
|
2006
|
145 |
C |
p. 185-200
16 p.
|
artikel
|
| 5 |
Pattern-Based Verification of Programs with Extended Linear Linked Data Structures
|
Češka, Milan
|
|
2006
|
145 |
C |
p. 113-130
18 p.
|
artikel
|
| 6 |
Predicate Diagrams for the Verification of Real-Time Systems
|
Kang, Eun-Young
|
|
2006
|
145 |
C |
p. 151-165
15 p.
|
artikel
|
| 7 |
Preface
|
Lazic, Ranko
|
|
2006
|
145 |
C |
p. 1-2
2 p.
|
artikel
|
| 8 |
Reasoning About Partial Functions in the Formal Development of Programs
|
Jones, Cliff B.
|
|
2006
|
145 |
C |
p. 3-25
23 p.
|
artikel
|
| 9 |
SPHIN: A model checker for reconfigurable hybrid systems based on SPIN
|
Song, Hosung
|
|
2006
|
145 |
C |
p. 167-183
17 p.
|
artikel
|
| 10 |
Synthesising Features by Games
|
Guelev, Dimitar P.
|
|
2006
|
145 |
C |
p. 79-93
15 p.
|
artikel
|
| 11 |
Verification of AMBA Using a Combination of Model Checking and Theorem Proving
|
Amjad, Hasan
|
|
2006
|
145 |
C |
p. 45-61
17 p.
|
artikel
|
| 12 |
Verification of Clock Synchronization Algorithms: Experiments on a Combination of Deductive Tools
|
Barsotti, Damian
|
|
2006
|
145 |
C |
p. 63-78
16 p.
|
artikel
|
| 13 |
Verification of Java Programs with Interacting Analysis Plugins
|
Charlton, Nathaniel
|
|
2006
|
145 |
C |
p. 131-150
20 p.
|
artikel
|
Tijdschrift beschrijving