Zobrazeno 1 - 10
of 178
pro vyhledávání: '"Doron Peled"'
Autor:
Gal Katz, Doron Peled
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 140, Iss Proc. INFINITY 2013, Pp 70-84 (2014)
Formal methods apply algorithms based on mathematical principles to enhance the reliability of systems. It would only be natural to try to progress from verification, model checking or testing a system against its formal specification into constructi
Externí odkaz:
https://doaj.org/article/84a896d9e9ea4044973f8cdba8664df0
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 96, Iss Proc. GandALF 2012, Pp 15-28 (2012)
Our goal is to achieve a high degree of fault tolerance through the control of a safety critical systems. This reduces to solving a game between a malicious environment that injects failures and a controller who tries to establish a correct behavior.
Externí odkaz:
https://doaj.org/article/b842e2b4acce4cf3a47bc936d952e151
Autor:
Doron Peled, Sven Schewe
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 73, Iss Proc. INFINITY 2011, Pp 2-17 (2011)
Classic distributed control problems have an interesting dichotomy: they are either trivial or undecidable. If we allow the controllers to fully synchronize, then synthesis is trivial. In this case, controllers can effectively act as a single control
Externí odkaz:
https://doaj.org/article/b359e5bb284d43a8acc613d1a3327658
Publikováno v:
Model Checking Software ISBN: 9783031321566
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::299b4991edf10159218c84a035da6042
https://doi.org/10.1007/978-3-031-32157-3_6
https://doi.org/10.1007/978-3-031-32157-3_6
Publikováno v:
2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE).
Autor:
Klaus Havelund, Doron Peled
Publikováno v:
International Journal on Software Tools for Technology Transfer. 23:547-563
Linear temporal logic (LTL) is extensively used in formal methods, in particular in runtime verification (RV) and in model checking. Its propositional version was shown by Wolper (1983, Inform Control 56(1/2): 72–99) to be limited in expressiveness
Publikováno v:
Formal Methods in System Design. 56:1-21
Runtime verification is aimed at analyzing execution traces stemming from a running program or system. The traditional purpose is to detect the lack of conformance with respect to a formal specification. Numerous efforts in the field have focused on
Publikováno v:
Software Engineering and Formal Methods ISBN: 9783030921231
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fa84308e72050bdfcdb82194a5d2b31b
https://doi.org/10.1007/978-3-030-92124-8_4
https://doi.org/10.1007/978-3-030-92124-8_4
Autor:
Doron Peled
Publikováno v:
Formal Methods in Outer Space ISBN: 9783030873479
Formal Methods in Outer Space
Formal Methods in Outer Space
We suggest a method for constructing a system that needs to satisfy some given formal specification \(\varphi \). In our setting, a black box system satisfying \(\varphi \) is given; we can only interface with the system through experiments and canno
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::36510049642d88e8d3a313f6c03b461c
https://doi.org/10.1007/978-3-030-87348-6_11
https://doi.org/10.1007/978-3-030-87348-6_11
Autor:
Klaus Havelund, Doron Peled
Publikováno v:
Automated Technology for Verification and Analysis ISBN: 9783030591519
ATVA
ATVA
Runtime Verification (RV) expedites the analyses of execution traces for detecting system errors and for statistical and quality analysis. Having started modestly, with checking temporal properties that are based on propositional (yes/no) values, the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::df280bac6c5e6c77f0833392bddea19c
https://doi.org/10.1007/978-3-030-59152-6_1
https://doi.org/10.1007/978-3-030-59152-6_1