| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A calculus for modular loop acceleration and non-termination proofs
|
Frohn, Florian
|
|
|
24 |
5 |
p. 691-715
|
artikel
|
| 2 |
Analysis of non-Markovian repairable fault trees through rare event simulation
|
Budde, Carlos E.
|
|
|
24 |
5 |
p. 821-841
|
artikel
|
| 3 |
Assume, guarantee or repair: a regular framework for non regular properties
|
Frenkel, Hadar
|
|
|
24 |
5 |
p. 667-689
|
artikel
|
| 4 |
Full-program induction: verifying array programs sans loop invariants
|
Chakraborty, Supratik
|
|
|
24 |
5 |
p. 843-888
|
artikel
|
| 5 |
Partial-order reduction for parity games and parameterised Boolean equation systems
|
Neele, Thomas
|
|
|
24 |
5 |
p. 735-756
|
artikel
|
| 6 |
Scenario-based verification of uncertain parametric MDPs
|
Badings, Thom
|
|
|
24 |
5 |
p. 803-819
|
artikel
|
| 7 |
The CoLiS platform for the analysis of maintainer scripts in Debian software packages
|
Becker, Benedikt
|
|
|
24 |
5 |
p. 717-733
|
artikel
|
| 8 |
The Discourje project: run-time verification of communication protocols in Clojure
|
Hamers, Ruben
|
|
|
24 |
5 |
p. 757-782
|
artikel
|
| 9 |
Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2020
|
Biere, Armin
|
|
|
24 |
5 |
p. 663-665
|
artikel
|
| 10 |
Verifying OpenJDK’s LinkedList using KeY (extended paper)
|
Hiep, Hans-Dieter A.
|
|
|
24 |
5 |
p. 783-802
|
artikel
|
Tijdschrift beschrijving