26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4–8, 2023, Proceedings Barbosa, Haniel. editor. edt http://id.loc.gov/vocabulary/relators/edt Zohar, Yoni. editor. edt http://id.loc.gov/vocabulary/relators/edt SpringerLink (Online service) text sz 2024 1st ed. 2024. monographic eng

electronic

electronic resource

access XXII, 153 p. 39 illus., 17 illus. in color. online resource. This 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. Specification 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. edited by Haniel Barbosa, Yoni Zohar. Software engineering Natural language processing (Computer science) Logic programming Computer science Computers, Special purpose Computer networks  Software Engineering Natural Language Processing (NLP) Logic in AI Theory of Computation Special Purpose and Application-Based Systems Computer Communication Networks QA76.758 9783031493423 https://doi.org/10.1007/978-3-031-49342-3 https://doi.org/10.1007/978-3-031-49342-3 231201 20251030110846.0 978-3-031-49342-3