Matches in SemOpenAlex for { <https://semopenalex.org/work/W2418247844> ?p ?o ?g. }
Showing items 1 to 53 of
53
with 100 items per page.
- W2418247844 abstract "More extensive work on formal methods is now available for checking PLC (Programmable Logic Controller) programs. Some approaches propose taking into account just the control system model, while others include a plant model as well. Accordingly, the level of detail of the model is very different from one approach to the next. In this paper, we explore the contribution of such a plant model within the context of formal verification by means of Symbolic Model- Checking. Our study is primarily experimental in nature and based on a case study. A set of properties to be checked and a detailed plant model are both proposed. We then analyze how a Symbolic Model-Checking tool (the NuSMV has been selected) ensures verification of these properties either with or without a plant model." @default.
- W2418247844 created "2016-06-24" @default.
- W2418247844 creator A5017231645 @default.
- W2418247844 creator A5054639971 @default.
- W2418247844 creator A5073637026 @default.
- W2418247844 creator A5074798643 @default.
- W2418247844 creator A5078444805 @default.
- W2418247844 date "2003-05-26" @default.
- W2418247844 modified "2023-10-16" @default.
- W2418247844 title "Increasing the efficiency of PLC Program Verification using a plant model" @default.
- W2418247844 cites W1498974352 @default.
- W2418247844 cites W1515530510 @default.
- W2418247844 cites W1984230444 @default.
- W2418247844 cites W2081032658 @default.
- W2418247844 cites W2115663162 @default.
- W2418247844 cites W2149505323 @default.
- W2418247844 cites W285995161 @default.
- W2418247844 hasPublicationYear "2003" @default.
- W2418247844 type Work @default.
- W2418247844 sameAs 2418247844 @default.
- W2418247844 citedByCount "6" @default.
- W2418247844 countsByYear W24182478442014 @default.
- W2418247844 crossrefType "proceedings-article" @default.
- W2418247844 hasAuthorship W2418247844A5017231645 @default.
- W2418247844 hasAuthorship W2418247844A5054639971 @default.
- W2418247844 hasAuthorship W2418247844A5073637026 @default.
- W2418247844 hasAuthorship W2418247844A5074798643 @default.
- W2418247844 hasAuthorship W2418247844A5078444805 @default.
- W2418247844 hasBestOaLocation W24182478441 @default.
- W2418247844 hasConcept C127413603 @default.
- W2418247844 hasConcept C200601418 @default.
- W2418247844 hasConcept C41008148 @default.
- W2418247844 hasConceptScore W2418247844C127413603 @default.
- W2418247844 hasConceptScore W2418247844C200601418 @default.
- W2418247844 hasConceptScore W2418247844C41008148 @default.
- W2418247844 hasLocation W24182478441 @default.
- W2418247844 hasLocation W24182478442 @default.
- W2418247844 hasOpenAccess W2418247844 @default.
- W2418247844 hasPrimaryLocation W24182478441 @default.
- W2418247844 hasRelatedWork W2130043461 @default.
- W2418247844 hasRelatedWork W2350741829 @default.
- W2418247844 hasRelatedWork W2358668433 @default.
- W2418247844 hasRelatedWork W2376932109 @default.
- W2418247844 hasRelatedWork W2382290278 @default.
- W2418247844 hasRelatedWork W2390279801 @default.
- W2418247844 hasRelatedWork W2748952813 @default.
- W2418247844 hasRelatedWork W2899084033 @default.
- W2418247844 hasRelatedWork W3004735627 @default.
- W2418247844 hasRelatedWork W2530322880 @default.
- W2418247844 isParatext "false" @default.
- W2418247844 isRetracted "false" @default.
- W2418247844 magId "2418247844" @default.
- W2418247844 workType "article" @default.