Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review
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.
| Original language | English |
|---|---|
| Title of host publication | Computational Science and Its Applications – ICCSA 2019 |
| Subtitle of host publication | 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part II |
| Editors | Sanjay Misra, Osvaldo Gervasi, Beniamino Murgante, Elena Stankova, Vladimir Korkhov, Carmelo Torre, Eufemia Tarantino, Ana Maria A.C. Rocha, David Taniar, Bernady O. Apduhan |
| Place of Publication | Cham |
| Publisher | Springer Nature |
| Pages | 546-555 |
| Number of pages | 10 |
| ISBN (Electronic) | 978-3-030-24296-1 |
| ISBN (Print) | 978-3-030-24295-4 |
| DOIs | |
| State | Published - 1 Jul 2019 |
| Event | 19th International Conference on Computational Science and Its Applications, ICCSA 2019 - Saint Petersburg, Russian Federation Duration: 1 Jul 2019 → 4 Jul 2019 Conference number: 19 |
| Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
|---|---|
| Publisher | Springer |
| Volume | 11620 |
| ISSN (Print) | 0302-9743 |
| Conference | 19th International Conference on Computational Science and Its Applications, ICCSA 2019 |
|---|---|
| Abbreviated title | ICCSA 2019 |
| Country/Territory | Russian Federation |
| City | Saint Petersburg |
| Period | 1/07/19 → 4/07/19 |
ID: 45182442