03348nam a22005655i 4500001001800000003000900018005001700027007001500044008004100059020003700100024003500137050001600172072001600188072002300204072001500227245019900242250001800441264006900459300006600528336002600594337002600620338003600646347002400682490005900706505062600765520042801391650002701819650005901846650004701905650003101952650003301983650002202016650004902038650004602087650005102133650003302184650003602217700015302253700007902406710003402485773002602519776003602545776003602581830005902617856004602676912001402722912001502736912001402751999001702765978-3-031-71261-6DE-He21320251030112945.0cr nn 008mamaa240908s2024    sz |    s    |||| 0|eng d  a97830317126169978-3-031-71261-67 a10.1007/978-3-031-71261-62doi 4aQA267-268.5 7aUYA2bicssc 7aCOM0140002bisacsh 7aUYA2thema10aFormal Aspects of Component Softwareh[electronic resource] :b20th International Conference, FACS 2024, Milan, Italy, September 9–10, 2024, Proceedings /cedited by Diego Marmsoler, Meng Sun.  a1st ed. 2024. 1aCham :bSpringer Nature Switzerland :bImprint: Springer,c2024.  aXVII, 147 p. 71 illus., 41 illus. in color.bonline resource.  atextbtxt2rdacontent  acomputerbc2rdamedia  aonline resourcebcr2rdacarrier  atext filebPDF2rda1 aLecture Notes in Computer Science,x1611-3349 ;v151890 aVerification and testing: Enabling behaviour tree verification via a translation to BIP -- Verified fault handling for modern board management controllers -- Testing compositionality. Formal models: Correct pattern-based development through refinements and weakest preconditions calculus -- Coq formalization of orientation representation: matrix, Euler angles, axis-angle and quaternion -- Reactive graphs in action. Security and blockchain: Extracting formal smart-contract specifications from natural language with LLMs -- How do asynchronous communication models impact the composability of information flow security?  aThis book constitutes the refereed proceedings of the 20th International Conference on Formal Aspects of Component Software, FACS 2024, held in Milan, Italy, during September 9-10, 2024. The 7 full papers and 1 short paper included in this book were carefully reviewed and selected from 16 submissions. They are organized in topical sections as follows: verification and testing, formal models, and security and blockchain. 0aMachine theory.967305 0aNatural language processing (Computer science).965131 0aData structures (Computer science).966708 0aInformation theory.957783 0aSoftware engineering.933953 0aComputer systems.14aFormal Languages and Automata Theory.96730624aNatural Language Processing (NLP).96616424aData Structures and Information Theory.96670924aSoftware Engineering.93395324aComputer System Implementation.1 aMarmsoler, Diego.eeditor.0(orcid)0000-0003-2859-76731https://orcid.org/0000-0003-2859-76734edt4http://id.loc.gov/vocabulary/relators/edt9839351 aSun, Meng.eeditor.4edt4http://id.loc.gov/vocabulary/relators/edt9839362 aSpringerLink (Online service)0 tSpringer Nature eBook08iPrinted edition:z978303171260908iPrinted edition:z9783031712623 0aLecture Notes in Computer Science,x1611-3349 ;v1518940uhttps://doi.org/10.1007/978-3-031-71261-6  aZDB-2-SCS  aZDB-2-SXCS  aZDB-2-LNC  c63204d63204