Zeitschriftenartikel:
I. Konnov, M. Lazić, H. Veith, J. Widder:
"Para^2: Parameterized Path Reduction, Acceleration, and SMT for Reachability in Threshold-Guarded Distributed Algorithms";
Formal Methods in System Design (eingeladen),
51
(2017),
2;
S. 270
- 307.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/s10703-017-0297-4
Zugeordnete Projekte:
Projektleitung Igor Konnov:
Abstraction-based Parameterized TLA Checker
Projektleitung Josef Widder:
Parametrized Verification of Fault-tolerant Distributed Algorithms
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.