Standard
Methods of Formal Software Verification in the Context of Distributed Systems. / Fatkina, Anna; Iakushkin, Oleg; Selivanov, Dmitry; Korkhov, Vladimir.
Computational Science and Its Applications – ICCSA 2019: 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part II. ed. / Sanjay Misra; Osvaldo Gervasi; Beniamino Murgante; Elena Stankova; Vladimir Korkhov; Carmelo Torre; Eufemia Tarantino; Ana Maria A.C. Rocha; David Taniar; Bernady O. Apduhan. Cham : Springer Nature, 2019. p. 546-555 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11620).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review
Harvard
Fatkina, A
, Iakushkin, O, Selivanov, D
& Korkhov, V 2019,
Methods of Formal Software Verification in the Context of Distributed Systems. in S Misra, O Gervasi, B Murgante, E Stankova, V Korkhov, C Torre, E Tarantino, AMAC Rocha, D Taniar & BO Apduhan (eds),
Computational Science and Its Applications – ICCSA 2019: 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part II. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11620, Springer Nature, Cham, pp. 546-555, 19th International Conference on Computational Science and Its Applications, ICCSA 2019, Saint Petersburg, Russian Federation,
1/07/19.
https://doi.org/10.1007/978-3-030-24296-1_43APA
Fatkina, A.
, Iakushkin, O., Selivanov, D.
, & Korkhov, V. (2019).
Methods of Formal Software Verification in the Context of Distributed Systems. In S. Misra, O. Gervasi, B. Murgante, E. Stankova, V. Korkhov, C. Torre, E. Tarantino, A. M. A. C. Rocha, D. Taniar, & B. O. Apduhan (Eds.),
Computational Science and Its Applications – ICCSA 2019: 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part II (pp. 546-555). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11620). Springer Nature.
https://doi.org/10.1007/978-3-030-24296-1_43Vancouver
Fatkina A
, Iakushkin O, Selivanov D
, Korkhov V.
Methods of Formal Software Verification in the Context of Distributed Systems. In Misra S, Gervasi O, Murgante B, Stankova E, Korkhov V, Torre C, Tarantino E, Rocha AMAC, Taniar D, Apduhan BO, editors, Computational Science and Its Applications – ICCSA 2019: 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part II. Cham: Springer Nature. 2019. p. 546-555. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
https://doi.org/10.1007/978-3-030-24296-1_43Author
Fatkina, Anna
; Iakushkin, Oleg ; Selivanov, Dmitry
; Korkhov, Vladimir. /
Methods of Formal Software Verification in the Context of Distributed Systems. Computational Science and Its Applications – ICCSA 2019: 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part II. editor / Sanjay Misra ; Osvaldo Gervasi ; Beniamino Murgante ; Elena Stankova ; Vladimir Korkhov ; Carmelo Torre ; Eufemia Tarantino ; Ana Maria A.C. Rocha ; David Taniar ; Bernady O. Apduhan. Cham : Springer Nature, 2019. pp. 546-555 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
BibTeX
@inproceedings{6f9f31ac7c3c41de8f829530553e7c0b,
title = "Methods of Formal Software Verification in the Context of Distributed Systems",
abstract = "This paper discusses several formal verification instruments and compares them. These tools are Isabelle/HOL, Coq, Verdi, and TLA+. All of them are developed for automatic verification of distributed systems. However, there are a number of differences in implementation and application. Verdi provides an effortless way of implementation to verify some distributed systems. Isabelle/HOL and Coq, on the other hand, can solve a wider range of tasks. These provide a low-level interface and require programming skills. TLA+ allows the user to communicate in pseudocode-like language as well as per algorithm implementation in TLA+/PlusCal. It is the most versatile tool for formal verification which is considered in this paper.",
keywords = "Coq, Distributed systems, Formal verification, Isabelle/HOL, Proof assistant, TLA+, Verdi",
author = "Anna Fatkina and Oleg Iakushkin and Dmitry Selivanov and Vladimir Korkhov",
note = "Fatkina A., Iakushkin O., Selivanov D., Korkhov V. (2019) Methods of Formal Software Verification in the Context of Distributed Systems. In: Misra S. et al. (eds) Computational Science and Its Applications – ICCSA 2019. ICCSA 2019. Lecture Notes in Computer Science, vol 11620. Springer, Cham; 19th International Conference on Computational Science and Its Applications, ICCSA 2019 ; Conference date: 01-07-2019 Through 04-07-2019",
year = "2019",
month = jul,
day = "1",
doi = "10.1007/978-3-030-24296-1_43",
language = "English",
isbn = "978-3-030-24295-4",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Nature",
pages = "546--555",
editor = "Sanjay Misra and Osvaldo Gervasi and Beniamino Murgante and Elena Stankova and Vladimir Korkhov and Carmelo Torre and Eufemia Tarantino and Rocha, {Ana Maria A.C.} and David Taniar and Apduhan, {Bernady O.}",
booktitle = "Computational Science and Its Applications – ICCSA 2019",
address = "Germany",
}
RIS
TY - GEN
T1 - Methods of Formal Software Verification in the Context of Distributed Systems
AU - Fatkina, Anna
AU - Iakushkin, Oleg
AU - Selivanov, Dmitry
AU - Korkhov, Vladimir
N1 - Conference code: 19
PY - 2019/7/1
Y1 - 2019/7/1
N2 - This paper discusses several formal verification instruments and compares them. These tools are Isabelle/HOL, Coq, Verdi, and TLA+. All of them are developed for automatic verification of distributed systems. However, there are a number of differences in implementation and application. Verdi provides an effortless way of implementation to verify some distributed systems. Isabelle/HOL and Coq, on the other hand, can solve a wider range of tasks. These provide a low-level interface and require programming skills. TLA+ allows the user to communicate in pseudocode-like language as well as per algorithm implementation in TLA+/PlusCal. It is the most versatile tool for formal verification which is considered in this paper.
AB - This paper discusses several formal verification instruments and compares them. These tools are Isabelle/HOL, Coq, Verdi, and TLA+. All of them are developed for automatic verification of distributed systems. However, there are a number of differences in implementation and application. Verdi provides an effortless way of implementation to verify some distributed systems. Isabelle/HOL and Coq, on the other hand, can solve a wider range of tasks. These provide a low-level interface and require programming skills. TLA+ allows the user to communicate in pseudocode-like language as well as per algorithm implementation in TLA+/PlusCal. It is the most versatile tool for formal verification which is considered in this paper.
KW - Coq
KW - Distributed systems
KW - Formal verification
KW - Isabelle/HOL
KW - Proof assistant
KW - TLA+
KW - Verdi
UR - http://www.scopus.com/inward/record.url?scp=85069165335&partnerID=8YFLogxK
UR - http://www.mendeley.com/research/methods-formal-software-verification-context-distributed-systems
U2 - 10.1007/978-3-030-24296-1_43
DO - 10.1007/978-3-030-24296-1_43
M3 - Conference contribution
AN - SCOPUS:85069165335
SN - 978-3-030-24295-4
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 546
EP - 555
BT - Computational Science and Its Applications – ICCSA 2019
A2 - Misra, Sanjay
A2 - Gervasi, Osvaldo
A2 - Murgante, Beniamino
A2 - Stankova, Elena
A2 - Korkhov, Vladimir
A2 - Torre, Carmelo
A2 - Tarantino, Eufemia
A2 - Rocha, Ana Maria A.C.
A2 - Taniar, David
A2 - Apduhan, Bernady O.
PB - Springer Nature
CY - Cham
T2 - 19th International Conference on Computational Science and Its Applications, ICCSA 2019
Y2 - 1 July 2019 through 4 July 2019
ER -
