@inproceedings{e118fa60a014413bb74f5bf267314122,
title = "mypyvy: A Research Platform for Verification of Transition Systems in First-Order Logic",
abstract = "mypyvy is an open-source tool for specifying transition systems in first-order logic and reasoning about them. mypyvy is particularly suitable for analyzing and verifying distributed algorithms. mypyvy implements key functionalities needed for safety verification and provides flexible interfaces that make it useful not only as a verification tool but also as a research platform for developing verification techniques, and in particular invariant inference algorithms. Moreover, the mypyvy input language is both simple and general, and the mypyvy repository includes several dozen benchmarks—transition systems that model a wide range of distributed and concurrent algorithms. mypyvy has supported several recent research efforts that benefited from its development framework and benchmark set.",
author = "Wilcox, {James R.} and Feldman, {Yotam M.Y.} and Oded Padon and Sharon Shoham",
note = "Publisher Copyright: {\textcopyright} The Author(s) 2024.; 36th International Conference on Computer Aided Verification, CAV 2024 ; Conference date: 24-07-2024 Through 27-07-2024",
year = "2024",
doi = "10.1007/978-3-031-65630-9_4",
language = "אנגלית",
isbn = "9783031656293",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Science and Business Media Deutschland GmbH",
pages = "71--85",
editor = "Arie Gurfinkel and Vijay Ganesh",
booktitle = "Computer Aided Verification - 36th International Conference, CAV 2024, Proceedings",
address = "גרמניה",
}