Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Jure Kukovec"'
Publikováno v:
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783031308222
The need to provide formal guarantees about the behaviour of the algorithms underpinning modern distributed systems became evident in recent years. This interest made apparent the complexities involved in applying verification techniques in a distrib
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::bfd2a8b7cb98dc357f53c1ca02658ec5
https://doi.org/10.1007/978-3-031-30823-9_7
https://doi.org/10.1007/978-3-031-30823-9_7
Publikováno v:
Proceedings of the ACM on Programming Languages
Proceedings of the ACM on Programming Languages, 2019, 3 (OOPSLA), pp.123:1--123:30. ⟨10.1145/3360549⟩
Proceedings of the ACM on Programming Languages, ACM, 2019, 3 (OOPSLA), pp.123:1--123:30. ⟨10.1145/3360549⟩
Proceedings of the ACM on Programming Languages, 2019, 3 (OOPSLA), pp.123:1--123:30. ⟨10.1145/3360549⟩
Proceedings of the ACM on Programming Languages, ACM, 2019, 3 (OOPSLA), pp.123:1--123:30. ⟨10.1145/3360549⟩
TLA+ is a language for formal specification of all kinds of computer systems. System designers use this language to specify concurrent, distributed, and fault-tolerant protocols, which are traditionally presented in pseudo-code. TLA+ is extremely con
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::88e4b7198d59c03dfcc90cd1eb4df117
https://doi.org/10.1145/3360549
https://doi.org/10.1145/3360549
Autor:
Carsten Varming, Mark A. Stalzer, Catherine Dodge, Jason Reed, Temesghen Kahsai, Bill Kocik, Preethi Srinivasan, Evgenii Kotelnikov, Pavle Subotic, Jure Kukovec, Andrew Gacek, John Sizemore, Whaley Blake, Mclaughlin Sean, John Backes, Neha Rungta, Sam Bayless, Alan J. Hu, Byron Cook
Publikováno v:
Computer Aided Verification ISBN: 9783030255428
CAV (2)
CAV (2)
Cloud services provide the ability to provision virtual networked infrastructure on demand over the Internet. The rapid growth of these virtually provisioned cloud networks has increased the demand for automated reasoning tools capable of identifying
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ded918ecf6a1f1c51276415bdde3c210
https://doi.org/10.1007/978-3-030-25543-5_14
https://doi.org/10.1007/978-3-030-25543-5_14
Publikováno v:
Abstract State Machines, Alloy, B, TLA, VDM, and Z. ABZ 2018
Abstract State Machines, Alloy, B, TLA, VDM, and Z. ABZ 2018, Jun 2018, Southampton, United Kingdom. pp.89-104, ⟨10.1007/978-3-319-91271-4_7⟩
Lecture Notes in Computer Science ISBN: 9783319912707
ABZ
Abstract State Machines, Alloy, B, TLA, VDM, and Z. ABZ 2018, Jun 2018, Southampton, United Kingdom. pp.89-104, ⟨10.1007/978-3-319-91271-4_7⟩
Lecture Notes in Computer Science ISBN: 9783319912707
ABZ
In , a system specification is written as a logical formula that restricts the system behavior. As a logic, does not have assignments and other imperative statements that are used by model checkers to compute the successor states of a system state. M
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::86edb27a89e62409587a7cedde43b8d7
https://hal.inria.fr/hal-01871131/file/camera.pdf
https://hal.inria.fr/hal-01871131/file/camera.pdf