Matches in SemOpenAlex for { <https://semopenalex.org/work/W577359189> ?p ?o ?g. }
- W577359189 abstract "Today's verification techniques are hard-pressed to scale with the ever-increasing complexity of safety critical systems. Within the field of aeronautics alone, we find the need for verification of algorithms for separation assurance, air traffic control, auto-pilot, Unmanned Aerial Vehicles (UAVs), adaptive avionics, automated decision authority, and much more. Recent advances in formal methods have made verifying more of these problems realistic. Thus we need to continually re-assess what we can solve now and identify the next barriers to overcome. Only through an exchange of ideas between theoreticians and practitioners from academia to industry can we extend formal methods for the verification of ever more challenging problem domains. This volume contains the extended abstracts of the talks presented at LFM 2008: The Sixth NASA Langley Formal Methods Workshop held on April 30 - May 2, 2008 in Newport News, Virginia, USA. The topics of interest that were listed in the call for abstracts were: advances in formal verification techniques; formal models of distributed computing; planning and scheduling; automated air traffic management; fault tolerance; hybrid systems/hybrid automata; embedded systems; safety critical applications; safety cases; accident/safety analysis." @default.
- W577359189 created "2016-06-24" @default.
- W577359189 creator A5049964874 @default.
- W577359189 date "2008-04-30" @default.
- W577359189 modified "2023-09-24" @default.
- W577359189 title "Proceedings of the Sixth NASA Langley Formal Methods (LFM) Workshop" @default.
- W577359189 cites W135527203 @default.
- W577359189 cites W1489391022 @default.
- W577359189 cites W1491913687 @default.
- W577359189 cites W1493087819 @default.
- W577359189 cites W1497571013 @default.
- W577359189 cites W1498722751 @default.
- W577359189 cites W1500133066 @default.
- W577359189 cites W1505627668 @default.
- W577359189 cites W1506396519 @default.
- W577359189 cites W1511902564 @default.
- W577359189 cites W1523738455 @default.
- W577359189 cites W1524922568 @default.
- W577359189 cites W1541510538 @default.
- W577359189 cites W1594958113 @default.
- W577359189 cites W1606860058 @default.
- W577359189 cites W1801083281 @default.
- W577359189 cites W1861203031 @default.
- W577359189 cites W1895387792 @default.
- W577359189 cites W1985039455 @default.
- W577359189 cites W1988518963 @default.
- W577359189 cites W2005697749 @default.
- W577359189 cites W2016206563 @default.
- W577359189 cites W2026562736 @default.
- W577359189 cites W2028765813 @default.
- W577359189 cites W2033532845 @default.
- W577359189 cites W2035153757 @default.
- W577359189 cites W2055647675 @default.
- W577359189 cites W2061909096 @default.
- W577359189 cites W2082827821 @default.
- W577359189 cites W2084875723 @default.
- W577359189 cites W2085025498 @default.
- W577359189 cites W2089139117 @default.
- W577359189 cites W2104219811 @default.
- W577359189 cites W2104717300 @default.
- W577359189 cites W2104997093 @default.
- W577359189 cites W2107617279 @default.
- W577359189 cites W2109577425 @default.
- W577359189 cites W2110908283 @default.
- W577359189 cites W2117869045 @default.
- W577359189 cites W2118386085 @default.
- W577359189 cites W2121591827 @default.
- W577359189 cites W2124289821 @default.
- W577359189 cites W2125967324 @default.
- W577359189 cites W2133193858 @default.
- W577359189 cites W2153887189 @default.
- W577359189 cites W2166228322 @default.
- W577359189 cites W2169789783 @default.
- W577359189 cites W2170736936 @default.
- W577359189 cites W2178257282 @default.
- W577359189 cites W2266243847 @default.
- W577359189 cites W2332125581 @default.
- W577359189 cites W2474384703 @default.
- W577359189 cites W2491975982 @default.
- W577359189 cites W2589402673 @default.
- W577359189 cites W2913459036 @default.
- W577359189 cites W3169000564 @default.
- W577359189 hasPublicationYear "2008" @default.
- W577359189 type Work @default.
- W577359189 sameAs 577359189 @default.
- W577359189 citedByCount "0" @default.
- W577359189 crossrefType "proceedings-article" @default.
- W577359189 hasAuthorship W577359189A5049964874 @default.
- W577359189 hasConcept C110251889 @default.
- W577359189 hasConcept C111498074 @default.
- W577359189 hasConcept C112505250 @default.
- W577359189 hasConcept C11413529 @default.
- W577359189 hasConcept C115903868 @default.
- W577359189 hasConcept C127413603 @default.
- W577359189 hasConcept C146978453 @default.
- W577359189 hasConcept C154945302 @default.
- W577359189 hasConcept C15792166 @default.
- W577359189 hasConcept C166961238 @default.
- W577359189 hasConcept C178802073 @default.
- W577359189 hasConcept C201995342 @default.
- W577359189 hasConcept C41008148 @default.
- W577359189 hasConcept C42475967 @default.
- W577359189 hasConcept C54355233 @default.
- W577359189 hasConcept C59519942 @default.
- W577359189 hasConcept C75606506 @default.
- W577359189 hasConcept C86803240 @default.
- W577359189 hasConceptScore W577359189C110251889 @default.
- W577359189 hasConceptScore W577359189C111498074 @default.
- W577359189 hasConceptScore W577359189C112505250 @default.
- W577359189 hasConceptScore W577359189C11413529 @default.
- W577359189 hasConceptScore W577359189C115903868 @default.
- W577359189 hasConceptScore W577359189C127413603 @default.
- W577359189 hasConceptScore W577359189C146978453 @default.
- W577359189 hasConceptScore W577359189C154945302 @default.
- W577359189 hasConceptScore W577359189C15792166 @default.
- W577359189 hasConceptScore W577359189C166961238 @default.
- W577359189 hasConceptScore W577359189C178802073 @default.
- W577359189 hasConceptScore W577359189C201995342 @default.
- W577359189 hasConceptScore W577359189C41008148 @default.
- W577359189 hasConceptScore W577359189C42475967 @default.