Matches in SemOpenAlex for { <https://semopenalex.org/work/W4385878223> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W4385878223 abstract "Compliance of processes in enterprises to internal policies and external regulations could be critical because failing to follow them could result in great losses, but manual compliance auditing is difficult and prone to errors and oversight. In this paper, we present a method for formally verifying the properties of Integrated Change Control processes using temporal logic. We express the process in terms of states, and then we formulate some of its key properties, such as prerequisites, reachability, definiteness, and cycles, using a temporal logic called Computation Tree Logic. The properties to verify in the case study we present are taken from actual change control process auditing practice in a large business in the food industry. We formally verify those properties using a model-checking tool. We end up with a formally verified Integrated Change Control process and more robust assurance of its correctness than can be reached for its informal counterpart. To the best of our knowledge, this has not been done before." @default.
- W4385878223 created "2023-08-17" @default.
- W4385878223 creator A5026438214 @default.
- W4385878223 creator A5037740055 @default.
- W4385878223 creator A5038666616 @default.
- W4385878223 creator A5075073136 @default.
- W4385878223 creator A5091857588 @default.
- W4385878223 creator A5092649709 @default.
- W4385878223 date "2023-08-16" @default.
- W4385878223 modified "2023-10-18" @default.
- W4385878223 title "Formal Verification of a Change Control Process in Project Management" @default.
- W4385878223 doi "https://doi.org/10.32388/kd99xx" @default.
- W4385878223 hasPublicationYear "2023" @default.
- W4385878223 type Work @default.
- W4385878223 citedByCount "0" @default.
- W4385878223 crossrefType "journal-article" @default.
- W4385878223 hasAuthorship W4385878223A5026438214 @default.
- W4385878223 hasAuthorship W4385878223A5037740055 @default.
- W4385878223 hasAuthorship W4385878223A5038666616 @default.
- W4385878223 hasAuthorship W4385878223A5075073136 @default.
- W4385878223 hasAuthorship W4385878223A5091857588 @default.
- W4385878223 hasAuthorship W4385878223A5092649709 @default.
- W4385878223 hasBestOaLocation W43858782231 @default.
- W4385878223 hasConcept C110251889 @default.
- W4385878223 hasConcept C115903868 @default.
- W4385878223 hasConcept C121955636 @default.
- W4385878223 hasConcept C127413603 @default.
- W4385878223 hasConcept C136643341 @default.
- W4385878223 hasConcept C144133560 @default.
- W4385878223 hasConcept C154945302 @default.
- W4385878223 hasConcept C174998907 @default.
- W4385878223 hasConcept C195094911 @default.
- W4385878223 hasConcept C199360897 @default.
- W4385878223 hasConcept C199521495 @default.
- W4385878223 hasConcept C21547014 @default.
- W4385878223 hasConcept C25016198 @default.
- W4385878223 hasConcept C26517878 @default.
- W4385878223 hasConcept C2775924081 @default.
- W4385878223 hasConcept C31786546 @default.
- W4385878223 hasConcept C38652104 @default.
- W4385878223 hasConcept C41008148 @default.
- W4385878223 hasConcept C4777664 @default.
- W4385878223 hasConcept C55439883 @default.
- W4385878223 hasConcept C80444323 @default.
- W4385878223 hasConcept C85345410 @default.
- W4385878223 hasConcept C98045186 @default.
- W4385878223 hasConceptScore W4385878223C110251889 @default.
- W4385878223 hasConceptScore W4385878223C115903868 @default.
- W4385878223 hasConceptScore W4385878223C121955636 @default.
- W4385878223 hasConceptScore W4385878223C127413603 @default.
- W4385878223 hasConceptScore W4385878223C136643341 @default.
- W4385878223 hasConceptScore W4385878223C144133560 @default.
- W4385878223 hasConceptScore W4385878223C154945302 @default.
- W4385878223 hasConceptScore W4385878223C174998907 @default.
- W4385878223 hasConceptScore W4385878223C195094911 @default.
- W4385878223 hasConceptScore W4385878223C199360897 @default.
- W4385878223 hasConceptScore W4385878223C199521495 @default.
- W4385878223 hasConceptScore W4385878223C21547014 @default.
- W4385878223 hasConceptScore W4385878223C25016198 @default.
- W4385878223 hasConceptScore W4385878223C26517878 @default.
- W4385878223 hasConceptScore W4385878223C2775924081 @default.
- W4385878223 hasConceptScore W4385878223C31786546 @default.
- W4385878223 hasConceptScore W4385878223C38652104 @default.
- W4385878223 hasConceptScore W4385878223C41008148 @default.
- W4385878223 hasConceptScore W4385878223C4777664 @default.
- W4385878223 hasConceptScore W4385878223C55439883 @default.
- W4385878223 hasConceptScore W4385878223C80444323 @default.
- W4385878223 hasConceptScore W4385878223C85345410 @default.
- W4385878223 hasConceptScore W4385878223C98045186 @default.
- W4385878223 hasLocation W43858782231 @default.
- W4385878223 hasOpenAccess W4385878223 @default.
- W4385878223 hasPrimaryLocation W43858782231 @default.
- W4385878223 hasRelatedWork W1501062661 @default.
- W4385878223 hasRelatedWork W1589840570 @default.
- W4385878223 hasRelatedWork W1976513602 @default.
- W4385878223 hasRelatedWork W1980063566 @default.
- W4385878223 hasRelatedWork W2079165952 @default.
- W4385878223 hasRelatedWork W2095002986 @default.
- W4385878223 hasRelatedWork W2373555819 @default.
- W4385878223 hasRelatedWork W3157833724 @default.
- W4385878223 hasRelatedWork W4242869269 @default.
- W4385878223 hasRelatedWork W2131659851 @default.
- W4385878223 isParatext "false" @default.
- W4385878223 isRetracted "false" @default.
- W4385878223 workType "article" @default.