000			03432nam a22006255i 4500
001			978-3-031-49342-3
003			DE-He213
005			20240423130252.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.
650		0	_aNatural language processing (Computer science).
650		0	_aLogic programming.
650		0	_aComputer science.
650		0	_aComputers, Special purpose.
650		0	_aComputer networks .
650	1	4	_aSoftware Engineering.
650	2	4	_aNatural Language Processing (NLP).
650	2	4	_aLogic in AI.
650	2	4	_aTheory of Computation.
650	2	4	_aSpecial Purpose and Application-Based Systems.
650	2	4	_aComputer Communication Networks.
700	1		_aBarbosa, Haniel. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt
700	1		_aZohar, Yoni. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt
710	2		_aSpringerLink (Online service)
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
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			_cSPRINGER
999			_c186817 _d186817