1 option
Formal Methods: Foundations and Applications : 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4–8, 2023, Proceedings / edited by Haniel Barbosa, Yoni Zohar.
Springer Nature - Springer Computer Science eBooks 2024 English International Available online
View online- Format:
- Book
- Author/Creator:
- Barbosa, Haniel.
- Series:
- Lecture Notes in Computer Science, 1611-3349 ; 14414
- Language:
- English
- Subjects (All):
- 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.
- Local Subjects:
- Software Engineering.
- Natural Language Processing (NLP).
- Logic in AI.
- Theory of Computation.
- Special Purpose and Application-Based Systems.
- Computer Communication Networks.
- Physical Description:
- 1 online resource (166 pages)
- Edition:
- 1st ed. 2024.
- Place of Publication:
- Cham : Springer Nature Switzerland : Imprint: Springer, 2024.
- Summary:
- 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.
- Contents:
- 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.
- Notes:
- Description based on publisher supplied metadata and other sources.
- Other Format:
- Print version: Barbosa, Haniel Formal Methods: Foundations and Applications
- ISBN:
- 9783031493423
- 3031493427
- OCLC:
- 1412623868
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.