Publications in Scientific Journals:
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 (invited),
51
(2017),
2;
270
- 307.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/s10703-017-0297-4
Related Projects:
Project Head Igor Konnov:
Abstraction-based Parameterized TLA Checker
Project Head Josef Widder:
Parametrized Verification of Fault-tolerant Distributed Algorithms