|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
14 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Comparative Study of Industrial Static Analysis Tools |
Emanuelsson, Pär |
2008 |
217 | C |
p. 5-21 17 p. |
artikel |
|
| 2 | A Formal Model of Memory Peculiarities for the Verification of Low-Level Operating-System Code |
Tews, Hendrik |
2008 |
217 | C |
p. 79-96 18 p. |
artikel |
|
| 3 | A Logic for Virtual Memory |
Kolanski, Rafal |
2008 |
217 | C |
p. 61-77 17 p. |
artikel |
|
| 4 | Correct Microkernel Primitives |
Starostin, Artem |
2008 |
217 | C |
p. 169-185 17 p. |
artikel |
|
| 5 | CVM – A Verified Framework for Microkernel Programmers |
In der Rieden, Tom |
2008 |
217 | C |
p. 151-168 18 p. |
artikel |
|
| 6 | Pervasive Compiler Verification – From Verified Programs to Verified Systems |
Leinenbach, Dirk |
2008 |
217 | C |
p. 23-40 18 p. |
artikel |
|
| 7 | Preface |
Huuck, Ralf |
2008 |
217 | C |
p. 1-3 3 p. |
artikel |
|
| 8 | Proving Correctness of an Efficient Abstraction for Interrupt Handling |
Herberich, Gerlind |
2008 |
217 | C |
p. 133-150 18 p. |
artikel |
|
| 9 | Reliable UML Models and Profiles |
Berkenkötter, Kirsten |
2008 |
217 | C |
p. 203-220 18 p. |
artikel |
|
| 10 | Specification of Conditions for Error Diagnostics |
Efkemann, Christof |
2008 |
217 | C |
p. 97-112 16 p. |
artikel |
|
| 11 | Structured Types and Separation Logic |
Tuch, Harvey |
2008 |
217 | C |
p. 41-59 19 p. |
artikel |
|
| 12 | Symbolic and Abstract Interpretation for C/C++ Programs |
Löding, Helge |
2008 |
217 | C |
p. 113-131 19 p. |
artikel |
|
| 13 | The HiVe Writer |
Cant, Tony |
2008 |
217 | C |
p. 221-234 14 p. |
artikel |
|
| 14 | Verified Safety and Information Flow of a Block Device |
Graunke, Paul |
2008 |
217 | C |
p. 187-202 16 p. |
artikel |
14 gevonden resultaten