000 03530nam a22006255i 4500
001 978-3-031-49342-3
003 DE-He213
005 20240730170622.0
007 cr nn 008mamaa
008 231201s2024 sz | s |||| 0|eng d
020 _a9783031493423
_9978-3-031-49342-3
024 7 _a10.1007/978-3-031-49342-3
_2doi
050 4 _aQA76.758
072 7 _aUMZ
_2bicssc
072 7 _aCOM051230
_2bisacsh
072 7 _aUMZ
_2thema
082 0 4 _a005.1
_223
245 1 0 _aFormal Methods: Foundations and Applications
_h[electronic resource] :
_b26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings /
_cedited by Haniel Barbosa, Yoni Zohar.
250 _a1st ed. 2024.
264 1 _aCham :
_bSpringer Nature Switzerland :
_bImprint: Springer,
_c2024.
300 _aXXII, 153 p. 39 illus., 17 illus. in color.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v14414
505 0 _aSpecification and Modeling Languages -- A Formal Model for Startups Financial Transactions -- A Haskell-embedded DSL for Secure Information-flow -- CSP Specification and Verification of a Relay-Based Rail Interlocking System -- ULKB Logic: A HOL-based framework for reasoning over knowledge graphs -- Testing -- Language-based Testing for Pushdown Reactive Systems -- Sound Test Case Generation for Concurrent Mobile Features -- Verification and Validation -- Automated code generation for DES controllers modeled as Finite State Machines -- AutomaTutor: An Educational Mobile App for Teaching Automata Theory -- ESBMC v7.3: Model Checking C++ Programs using Clang.
520 _aThis book constitutes the refereed proceedings of the 26th Brazilian Symposium on Formal Methods, SBMF 2023, held in Manaus, Brazil, during December 4-8, 2023. The 7 full papers and 2 short papers presented in this book were carefully reviewed and selected from 16 submissions. The papers are divided into the following topical sections: specification and modeling languages; testing; and verification and validation.
650 0 _aSoftware engineering.
_94138
650 0 _aNatural language processing (Computer science).
_94741
650 0 _aLogic programming.
_92730
650 0 _aComputer science.
_99832
650 0 _aComputers, Special purpose.
_946653
650 0 _aComputer networks .
_931572
650 1 4 _aSoftware Engineering.
_94138
650 2 4 _aNatural Language Processing (NLP).
_931587
650 2 4 _aLogic in AI.
_933012
650 2 4 _aTheory of Computation.
_994568
650 2 4 _aSpecial Purpose and Application-Based Systems.
_946654
650 2 4 _aComputer Communication Networks.
_994570
700 1 _aBarbosa, Haniel.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_994572
700 1 _aZohar, Yoni.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_994574
710 2 _aSpringerLink (Online service)
_994577
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783031493416
776 0 8 _iPrinted edition:
_z9783031493430
830 0 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v14414
_923263
856 4 0 _uhttps://doi.org/10.1007/978-3-031-49342-3
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cEBK
999 _c87079
_d87079