TY  - BOOK
AU  - Barbosa,Haniel
AU  - Zohar,Yoni
ED  - SpringerLink (Online service)
TI  - Formal Methods: Foundations and Applications: 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings 
T2  - Lecture Notes in Computer Science,
SN  - 9783031493423
AV  - QA76.758 
U1  - 005.1 23
PY  - 2024///
CY  - Cham
PB  - Springer Nature Switzerland, Imprint: Springer
KW  - Software engineering
KW  - Natural language processing (Computer science)
KW  - Logic programming
KW  - Computer science
KW  - Computers, Special purpose
KW  - Computer networks 
KW  - Software Engineering
KW  - Natural Language Processing (NLP)
KW  - Logic in AI
KW  - Theory of Computation
KW  - Special Purpose and Application-Based Systems
KW  - Computer Communication Networks
N1  - 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
N2  - 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
UR  - http://libcon.rec.uabc.mx:2048/login?url=https://doi.org/10.1007/978-3-031-49342-3
ER  -