Formal Methods: Foundations and Applications: 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4–8, 2023, Proceedings
Author:   Haniel Barbosa ,  Yoni Zohar
Publisher:   Springer International Publishing AG
Edition:   1st ed. 2024
Volume:   14414
ISBN:  

9783031493416


Pages:   153
Publication Date:   02 December 2023
Format:   Paperback
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

Our Price $116.41 Quantity:  
Add to Cart

Share |

Formal Methods: Foundations and Applications: 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4–8, 2023, Proceedings


Add your own review!

Overview

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.

Full Product Details

Author:   Haniel Barbosa ,  Yoni Zohar
Publisher:   Springer International Publishing AG
Imprint:   Springer International Publishing AG
Edition:   1st ed. 2024
Volume:   14414
Weight:   0.278kg
ISBN:  

9783031493416


ISBN 10:   3031493419
Pages:   153
Publication Date:   02 December 2023
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

Table of 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.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

MRG2025CC

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now