From 8de6623195f802ab6b10ef3213e7ab9e437177a8 Mon Sep 17 00:00:00 2001 From: Dane Sabo Date: Mon, 11 Nov 2024 08:52:43 -0500 Subject: [PATCH] vault backup: 2024-11-11 08:52:43 --- 201 Metadata/My Library.bib | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) diff --git a/201 Metadata/My Library.bib b/201 Metadata/My Library.bib index 764c81fdc..2718bf0eb 100644 --- a/201 Metadata/My Library.bib +++ b/201 Metadata/My Library.bib @@ -7331,6 +7331,22 @@ for defect classification of TFT–LCD panels.pdf} file = {/home/danesabo/Zotero/storage/XAG39WDC/Lopez-Miguel et al. - 2022 - PLCverif Status of a Formal Verification Tool for.pdf;/home/danesabo/Zotero/storage/AKP5GGFY/2203.html} } +@online{lopez-miguelPLCverifStatusFormal2022a, + title = {{{PLCverif}}: {{Status}} of a {{Formal Verification Tool}} for {{Programmable Logic Controller}}}, + shorttitle = {{{PLCverif}}}, + author = {Lopez-Miguel, Ignacio D. and Tournier, Jean-Charles and Adiego, Borja Fernandez}, + date = {2022-03-30}, + eprint = {2203.17253}, + eprinttype = {arXiv}, + doi = {10.48550/arXiv.2203.17253}, + url = {http://arxiv.org/abs/2203.17253}, + urldate = {2024-11-11}, + abstract = {Programmable Logic Controllers (PLC) are widely used for industrial automation including safety systems at CERN. The incorrect behaviour of the PLC control system logic can cause significant financial losses by damage of property or the environment or even injuries in some cases, therefore ensuring their correct behaviour is essential. While testing has been for many years the traditional way of validating the PLC control system logic, CERN developed a model checking platform to go one step further and formally verify PLC logic. This platform, called PLCverif, first released internally for CERN usage in 2019, is now available to anyone since September 2020 via an open source licence. In this paper, we will first give an overview of the PLCverif platform capabilities before focusing on the improvements done since 2019 such as the larger support coverage of the Siemens PLC programming languages, the better support of the C Bounded Model Checker backend (CBMC) and the process of releasing PLCverif as an open-source software.}, + pubstate = {prepublished}, + keywords = {Computer Science - Software Engineering}, + file = {/home/danesabo/Zotero/storage/963RD8XP/Lopez-Miguel et al. - 2022 - PLCverif Status of a Formal Verification Tool for Programmable Logic Controller.pdf;/home/danesabo/Zotero/storage/H94V58P2/2203.html} +} + @article{lozadaLetterReportTLRRES, title = {Letter {{Report}} - {{TLR-RES}}/{{DE}}/{{REB-2021-17}}, {{Technical Challenges}} and {{Gaps}} in {{Digital Twin Enabling Technologies}} for {{Nuclear Reactor Applications}}}, author = {Lozada, Gascot},