Matches in SemOpenAlex for { <https://semopenalex.org/work/W4375852016> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W4375852016 abstract "It is important that the programmed logic controller(PLC), the heart of industrial control systems (ICS), is formally verified to ensure that its safety and security requirements are met. However, the combination of the strengths of two or more verification tools to verify tasks has yet to be fully explored, especially in verification of safety-critical programs such as PLC programs. In this paper, we apply cooperative verification techniques by building a verifier validator (using Symbiotic as a verifier and the CPA checker as a validator). We investigate the possibilities of preventing false positives in verification results and discover how effective and efficient the (verifier-validator) is when compared with a single verification tool. The results show that the verifier validator was able to discover 3 properties that were not properly verified by a single verification tool in a shorter time span." @default.
- W4375852016 created "2023-05-10" @default.
- W4375852016 creator A5009031068 @default.
- W4375852016 creator A5092033565 @default.
- W4375852016 date "2023-05-09" @default.
- W4375852016 modified "2023-09-25" @default.
- W4375852016 title "Cooperative Verification of PLC Programs Using CoVeriTeam: Towards a reliable and secure Industrial Control Systems" @default.
- W4375852016 cites W1489391022 @default.
- W4375852016 cites W1493466221 @default.
- W4375852016 cites W1984315409 @default.
- W4375852016 cites W2161253570 @default.
- W4375852016 cites W2218450089 @default.
- W4375852016 cites W2293092623 @default.
- W4375852016 cites W2548985278 @default.
- W4375852016 cites W2683515807 @default.
- W4375852016 cites W2765527199 @default.
- W4375852016 cites W2792098779 @default.
- W4375852016 cites W2794720712 @default.
- W4375852016 cites W2796681537 @default.
- W4375852016 cites W2811262419 @default.
- W4375852016 cites W2934127774 @default.
- W4375852016 cites W2999593819 @default.
- W4375852016 cites W2999962558 @default.
- W4375852016 cites W3043762393 @default.
- W4375852016 cites W3136521622 @default.
- W4375852016 cites W3138215831 @default.
- W4375852016 cites W3139065122 @default.
- W4375852016 cites W327452528 @default.
- W4375852016 cites W4225637722 @default.
- W4375852016 cites W4284699178 @default.
- W4375852016 cites W4310514153 @default.
- W4375852016 doi "https://doi.org/10.1145/3576914.3587490" @default.
- W4375852016 hasPublicationYear "2023" @default.
- W4375852016 type Work @default.
- W4375852016 citedByCount "0" @default.
- W4375852016 crossrefType "proceedings-article" @default.
- W4375852016 hasAuthorship W4375852016A5009031068 @default.
- W4375852016 hasAuthorship W4375852016A5092033565 @default.
- W4375852016 hasConcept C110251889 @default.
- W4375852016 hasConcept C111498074 @default.
- W4375852016 hasConcept C136764020 @default.
- W4375852016 hasConcept C149091818 @default.
- W4375852016 hasConcept C149635348 @default.
- W4375852016 hasConcept C154945302 @default.
- W4375852016 hasConcept C186846655 @default.
- W4375852016 hasConcept C187250869 @default.
- W4375852016 hasConcept C199360897 @default.
- W4375852016 hasConcept C2777904410 @default.
- W4375852016 hasConcept C3406870 @default.
- W4375852016 hasConcept C35292069 @default.
- W4375852016 hasConcept C41008148 @default.
- W4375852016 hasConcept C62460635 @default.
- W4375852016 hasConcept C64869954 @default.
- W4375852016 hasConceptScore W4375852016C110251889 @default.
- W4375852016 hasConceptScore W4375852016C111498074 @default.
- W4375852016 hasConceptScore W4375852016C136764020 @default.
- W4375852016 hasConceptScore W4375852016C149091818 @default.
- W4375852016 hasConceptScore W4375852016C149635348 @default.
- W4375852016 hasConceptScore W4375852016C154945302 @default.
- W4375852016 hasConceptScore W4375852016C186846655 @default.
- W4375852016 hasConceptScore W4375852016C187250869 @default.
- W4375852016 hasConceptScore W4375852016C199360897 @default.
- W4375852016 hasConceptScore W4375852016C2777904410 @default.
- W4375852016 hasConceptScore W4375852016C3406870 @default.
- W4375852016 hasConceptScore W4375852016C35292069 @default.
- W4375852016 hasConceptScore W4375852016C41008148 @default.
- W4375852016 hasConceptScore W4375852016C62460635 @default.
- W4375852016 hasConceptScore W4375852016C64869954 @default.
- W4375852016 hasFunder F4320306076 @default.
- W4375852016 hasLocation W43758520161 @default.
- W4375852016 hasOpenAccess W4375852016 @default.
- W4375852016 hasPrimaryLocation W43758520161 @default.
- W4375852016 hasRelatedWork W1550280164 @default.
- W4375852016 hasRelatedWork W1562499525 @default.
- W4375852016 hasRelatedWork W2366716870 @default.
- W4375852016 hasRelatedWork W2376775163 @default.
- W4375852016 hasRelatedWork W2603044584 @default.
- W4375852016 hasRelatedWork W3036403349 @default.
- W4375852016 hasRelatedWork W3120172095 @default.
- W4375852016 hasRelatedWork W3186770096 @default.
- W4375852016 hasRelatedWork W4375852016 @default.
- W4375852016 hasRelatedWork W47563837 @default.
- W4375852016 isParatext "false" @default.
- W4375852016 isRetracted "false" @default.
- W4375852016 workType "article" @default.