|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
4 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Combining sequentialization-based verification of multi-threaded C programs with symbolic Partial Order Reduction |
Herdt, Vladimir |
2019 |
21 | 5 |
p. 545-565 |
artikel |
|
| 2 | Scalable and precise estimation and debugging of the worst-case execution time for analysis-friendly processors: a comeback of model checking |
Becker, Martin |
2018 |
21 | 5 |
p. 515-543 |
artikel |
|
| 3 | Symmetry reduction in CSP model checking |
Gibson-Robinson, Thomas |
2019 |
21 | 5 |
p. 567-605 |
artikel |
|
| 4 | The Symbolic Execution Debugger (SED): a platform for interactive symbolic execution, debugging, verification and more |
Hentschel, Martin |
2018 |
21 | 5 |
p. 485-513 |
artikel |
4 gevonden resultaten