|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
7 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Automatic equivalence checking of programs with uninterpreted functions and integer arithmetic |
Lopes, Nuno P. |
2015 |
18 | 4 |
p. 359-374 |
artikel |
|
| 2 | Efficient model-checking of weighted CTL with upper-bound constraints |
Jensen, Jonas Finnemann |
2014 |
18 | 4 |
p. 409-426 |
artikel |
|
| 3 | Guard-based partial-order reduction |
Laarman, Alfons |
2014 |
18 | 4 |
p. 427-448 |
artikel |
|
| 4 | Guided search for hybrid systems based on coarse-grained space abstractions |
Bogomolov, Sergiy |
2015 |
18 | 4 |
p. 449-467 |
artikel |
|
| 5 | Model checking unbounded concurrent lists |
Sethi, Divjyot |
2015 |
18 | 4 |
p. 375-391 |
artikel |
|
| 6 | Preface of the special issue on Model Checking of Software |
Bartocci, Ezio |
2016 |
18 | 4 |
p. 355-357 |
artikel |
|
| 7 | Verifying a quantitative relaxation of linearizability via refinement |
Adhikari, Kiran |
2015 |
18 | 4 |
p. 393-407 |
artikel |
7 gevonden resultaten