Matches in SemOpenAlex for { <https://semopenalex.org/work/W2804366209> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2804366209 abstract "The increased interest in the use of automated safety analysis is supported by the claim that manual safety analysis based on traditional techniques is error–prone, costly and not necessarily complete. It is also claimed that traditional techniques are not able to deal with the inherent complexities of software intensive systems. However, we show in this paper that a transition (from manual to automatic approaches) in the assessment process and technologies is accompanied by an inherent risk of obtaining false confidence, unless safeguards are provided. The safeguard presented in this paper integrates traditional deductive and inductive analysis techniques with model checking, a form of formal verification. The aim is to provide the safety analyst with a rigourous approach for the validation of formal models. The feasibility of the overall approach is illustrated in terms of a case study." @default.
- W2804366209 created "2018-06-01" @default.
- W2804366209 creator A5084193428 @default.
- W2804366209 creator A5090257931 @default.
- W2804366209 date "1999-09-15" @default.
- W2804366209 modified "2023-10-17" @default.
- W2804366209 title "Validating Formal Verification using Safety Analysis Techniques" @default.
- W2804366209 cites W1480438414 @default.
- W2804366209 cites W1523988803 @default.
- W2804366209 cites W1539092349 @default.
- W2804366209 cites W2080593426 @default.
- W2804366209 cites W2091311336 @default.
- W2804366209 cites W2151056896 @default.
- W2804366209 cites W2620994269 @default.
- W2804366209 cites W2573837267 @default.
- W2804366209 hasPublicationYear "1999" @default.
- W2804366209 type Work @default.
- W2804366209 sameAs 2804366209 @default.
- W2804366209 citedByCount "3" @default.
- W2804366209 crossrefType "journal-article" @default.
- W2804366209 hasAuthorship W2804366209A5084193428 @default.
- W2804366209 hasAuthorship W2804366209A5090257931 @default.
- W2804366209 hasConcept C110251889 @default.
- W2804366209 hasConcept C111498074 @default.
- W2804366209 hasConcept C112930515 @default.
- W2804366209 hasConcept C115903868 @default.
- W2804366209 hasConcept C17744445 @default.
- W2804366209 hasConcept C199360897 @default.
- W2804366209 hasConcept C199539241 @default.
- W2804366209 hasConcept C2780771206 @default.
- W2804366209 hasConcept C41008148 @default.
- W2804366209 hasConcept C71924100 @default.
- W2804366209 hasConcept C75606506 @default.
- W2804366209 hasConcept C98045186 @default.
- W2804366209 hasConceptScore W2804366209C110251889 @default.
- W2804366209 hasConceptScore W2804366209C111498074 @default.
- W2804366209 hasConceptScore W2804366209C112930515 @default.
- W2804366209 hasConceptScore W2804366209C115903868 @default.
- W2804366209 hasConceptScore W2804366209C17744445 @default.
- W2804366209 hasConceptScore W2804366209C199360897 @default.
- W2804366209 hasConceptScore W2804366209C199539241 @default.
- W2804366209 hasConceptScore W2804366209C2780771206 @default.
- W2804366209 hasConceptScore W2804366209C41008148 @default.
- W2804366209 hasConceptScore W2804366209C71924100 @default.
- W2804366209 hasConceptScore W2804366209C75606506 @default.
- W2804366209 hasConceptScore W2804366209C98045186 @default.
- W2804366209 hasLocation W28043662091 @default.
- W2804366209 hasOpenAccess W2804366209 @default.
- W2804366209 hasPrimaryLocation W28043662091 @default.
- W2804366209 hasRelatedWork W1481518662 @default.
- W2804366209 hasRelatedWork W1513642085 @default.
- W2804366209 hasRelatedWork W1566925011 @default.
- W2804366209 hasRelatedWork W163525422 @default.
- W2804366209 hasRelatedWork W1992707013 @default.
- W2804366209 hasRelatedWork W2043563043 @default.
- W2804366209 hasRelatedWork W2098799476 @default.
- W2804366209 hasRelatedWork W2099161642 @default.
- W2804366209 hasRelatedWork W2105005227 @default.
- W2804366209 hasRelatedWork W2163537766 @default.
- W2804366209 hasRelatedWork W2169359513 @default.
- W2804366209 hasRelatedWork W2212399629 @default.
- W2804366209 hasRelatedWork W2331396051 @default.
- W2804366209 hasRelatedWork W2598773303 @default.
- W2804366209 hasRelatedWork W2617144871 @default.
- W2804366209 hasRelatedWork W2747146354 @default.
- W2804366209 hasRelatedWork W2775041933 @default.
- W2804366209 hasRelatedWork W2946519422 @default.
- W2804366209 hasRelatedWork W1490652043 @default.
- W2804366209 hasRelatedWork W2137861770 @default.
- W2804366209 isParatext "false" @default.
- W2804366209 isRetracted "false" @default.
- W2804366209 magId "2804366209" @default.
- W2804366209 workType "article" @default.