Matches in SemOpenAlex for { <https://semopenalex.org/work/W2617144871> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2617144871 abstract "Formal methods tools have been shown to be effective at finding defects in safety-critical digital systems including avionics systems. The publication of DO-178C and the accompanying formal methods supplement DO-333 allows applicants to obtain certification credit for the use of formal methods without providing justification for them as an alternative method. This project conducted an extensive study of existing formal methods tools, identifying obstacles to their qualification and proposing mitigations for those obstacles. Further, it interprets the qualification guidance for existing formal methods tools and provides case study examples for open source tools. This project also investigates the feasibility of verifying formal methods tools by generating proof certificates which capture proof of the formal methods tool's claim, which can be checked by an independent, proof certificate checking tool. Finally, the project investigates the feasibility of qualifying this proof certificate checker, in the DO-330 framework, in lieu of qualifying the model checker itself." @default.
- W2617144871 created "2017-06-05" @default.
- W2617144871 creator A5041337242 @default.
- W2617144871 creator A5046830049 @default.
- W2617144871 creator A5062975660 @default.
- W2617144871 creator A5069042814 @default.
- W2617144871 creator A5091588309 @default.
- W2617144871 date "2017-02-01" @default.
- W2617144871 modified "2023-09-27" @default.
- W2617144871 title "Formal Methods Tool Qualification" @default.
- W2617144871 cites W1549166962 @default.
- W2617144871 cites W1552280794 @default.
- W2617144871 cites W1819209966 @default.
- W2617144871 cites W2136705864 @default.
- W2617144871 hasPublicationYear "2017" @default.
- W2617144871 type Work @default.
- W2617144871 sameAs 2617144871 @default.
- W2617144871 citedByCount "1" @default.
- W2617144871 countsByYear W26171448712019 @default.
- W2617144871 crossrefType "journal-article" @default.
- W2617144871 hasAuthorship W2617144871A5041337242 @default.
- W2617144871 hasAuthorship W2617144871A5046830049 @default.
- W2617144871 hasAuthorship W2617144871A5062975660 @default.
- W2617144871 hasAuthorship W2617144871A5069042814 @default.
- W2617144871 hasAuthorship W2617144871A5091588309 @default.
- W2617144871 hasConcept C110251889 @default.
- W2617144871 hasConcept C111498074 @default.
- W2617144871 hasConcept C115903868 @default.
- W2617144871 hasConcept C116253237 @default.
- W2617144871 hasConcept C127413603 @default.
- W2617144871 hasConcept C146978453 @default.
- W2617144871 hasConcept C15792166 @default.
- W2617144871 hasConcept C17744445 @default.
- W2617144871 hasConcept C199360897 @default.
- W2617144871 hasConcept C199539241 @default.
- W2617144871 hasConcept C41008148 @default.
- W2617144871 hasConcept C46304622 @default.
- W2617144871 hasConcept C75606506 @default.
- W2617144871 hasConcept C80444323 @default.
- W2617144871 hasConcept C96865113 @default.
- W2617144871 hasConceptScore W2617144871C110251889 @default.
- W2617144871 hasConceptScore W2617144871C111498074 @default.
- W2617144871 hasConceptScore W2617144871C115903868 @default.
- W2617144871 hasConceptScore W2617144871C116253237 @default.
- W2617144871 hasConceptScore W2617144871C127413603 @default.
- W2617144871 hasConceptScore W2617144871C146978453 @default.
- W2617144871 hasConceptScore W2617144871C15792166 @default.
- W2617144871 hasConceptScore W2617144871C17744445 @default.
- W2617144871 hasConceptScore W2617144871C199360897 @default.
- W2617144871 hasConceptScore W2617144871C199539241 @default.
- W2617144871 hasConceptScore W2617144871C41008148 @default.
- W2617144871 hasConceptScore W2617144871C46304622 @default.
- W2617144871 hasConceptScore W2617144871C75606506 @default.
- W2617144871 hasConceptScore W2617144871C80444323 @default.
- W2617144871 hasConceptScore W2617144871C96865113 @default.
- W2617144871 hasLocation W26171448711 @default.
- W2617144871 hasOpenAccess W2617144871 @default.
- W2617144871 hasPrimaryLocation W26171448711 @default.
- W2617144871 hasRelatedWork W1481518662 @default.
- W2617144871 hasRelatedWork W1510747180 @default.
- W2617144871 hasRelatedWork W1560121789 @default.
- W2617144871 hasRelatedWork W1566925011 @default.
- W2617144871 hasRelatedWork W1890697268 @default.
- W2617144871 hasRelatedWork W1950768068 @default.
- W2617144871 hasRelatedWork W1965215722 @default.
- W2617144871 hasRelatedWork W2036449508 @default.
- W2617144871 hasRelatedWork W2043563043 @default.
- W2617144871 hasRelatedWork W2098799476 @default.
- W2617144871 hasRelatedWork W2272271980 @default.
- W2617144871 hasRelatedWork W2349269724 @default.
- W2617144871 hasRelatedWork W2387009829 @default.
- W2617144871 hasRelatedWork W3034922941 @default.
- W2617144871 hasRelatedWork W3091355367 @default.
- W2617144871 hasRelatedWork W46644096 @default.
- W2617144871 hasRelatedWork W47868186 @default.
- W2617144871 hasRelatedWork W637782673 @default.
- W2617144871 hasRelatedWork W835336646 @default.
- W2617144871 hasRelatedWork W1490652043 @default.
- W2617144871 isParatext "false" @default.
- W2617144871 isRetracted "false" @default.
- W2617144871 magId "2617144871" @default.
- W2617144871 workType "article" @default.