Zobrazeno 1 - 10
of 39
pro vyhledávání: '"Yannick Moy"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 284, Iss Proc. F-IDE 2018, Pp 1-15 (2018)
Among formal methods, the deductive verification approach allows establishing the strongest possible formal guarantees on critical software. The downside is the cost in terms of human effort required to design adequate formal specifications and to su
Externí odkaz:
https://doaj.org/article/f0505659f9f446b49b0323766575790a
Autor:
Yannick Moy, Claire Dross
Publikováno v:
ACM SIGAda Ada Letters. 42:65-67
The GNAT light runtime library is a version of the runtime library targeted at embedded platforms and certification, which has been certified for use at the highest levels of criticality in several industrial domains. It contains around 180 units foc
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9b3ce2918aac58a5aeace75886878065
https://doi.org/10.1145/3577949.3577959
https://doi.org/10.1145/3577949.3577959
Autor:
Yannick Moy
Publikováno v:
Electronic Proceedings in Theoretical Computer Science. 349
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::bf0d4e6d1e7f57af64a68c0c5956e940
https://doi.org/10.4204/eptcs.349.0.2
https://doi.org/10.4204/eptcs.349.0.2
Autor:
Marina Reich, Bjoern Annighoefer, Yannick Moy, Thomas Soodt, Romaric Redon, Christoph Regli, Alexis de Cacqueray, Andreas Schweiger
Publikováno v:
2021 IEEE/AIAA 40th Digital Avionics Systems Conference (DASC).
Artificial Intelligence extended the limits considerably of what is technically feasible. In avionics, stakeholders are also pushing AI. However, research results are usually confronted with restrictions in avionics: Safety and certification are ofte
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c7335db9fa7e2f28ee96f6c90c61b24e
https://doi.org/10.1109/dasc52595.2021.9594364
https://doi.org/10.1109/dasc52595.2021.9594364
Publikováno v:
2021 IEEE Secure Development Conference (SecDev).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7202a720abf8bbe40f5893374822b6eb
https://doi.org/10.1109/secdev51306.2021.00028
https://doi.org/10.1109/secdev51306.2021.00028
Autor:
Yannick Moy
The automation offered by modern program proof tools goes hand in hand with the capability to interact with the tool when the verification fails. The SPARK proof tool tries to help the user by providing the right information, so that the user can hel
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c1bc5ef7864f6bd4ab68dd7cefcff90b
Publikováno v:
Journal of Logical and Algebraic Methods in Programming. 99:97-113
A major issue in the activity of deductive program verification is to understand why automated provers fail to discharge a proof obligation. To help the user understand the problem and decide what needs to be fixed in the code or the specification, i
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::034f00bf62a8a774589faf9f2f309bfc
https://doi.org/10.1016/j.jlamp.2018.05.003
https://doi.org/10.1016/j.jlamp.2018.05.003
Autor:
Yannick Moy
Publikováno v:
ACM SIGAda Ada Letters. 37:34-36
Let's get started? In the beginning was created Ada. It did not have any assertions. Then came GNAT, which introduced pragma Assert. The ARG saw that it was good, and adopted it in Ada 2005. Then came GNAT again, which introduced pragma Precondition
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::74874087de51f6ea021385b70fdfd4be
https://doi.org/10.1145/3232693.3232702
https://doi.org/10.1145/3232693.3232702
Publikováno v:
SecDev
This hands-on tutorial will show attendees how to use formal methods in developing and verifying high-assurance software. It will cover the benefits and costs of formal methods technology, describe its capabilities and limits, summarize how to adopt
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::861de3f04159b2d930533717f6d43cd3
https://doi.org/10.1109/secdev.2019.00012
https://doi.org/10.1109/secdev.2019.00012
Publikováno v:
ROSCon Madrid 2018.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::134bcf18c1b5e5d128a4b9ca388cdebf
https://doi.org/10.36288/roscon2018-900824
https://doi.org/10.36288/roscon2018-900824