Central Library

Normal view MARC view ISBD view

Formal Methods: Foundations and Applications [electronic resource] : 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings / edited by Haniel Barbosa, Yoni Zohar.

Contributor(s): Barbosa, Haniel [editor.] | Zohar, Yoni [editor.] | SpringerLink (Online service).
Material type: materialTypeLabelBookSeries: Lecture Notes in Computer Science: 14414Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Edition: 1st ed. 2024.Description: XXII, 153 p. 39 illus., 17 illus. in color. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783031493423.Subject(s): 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 NetworksAdditional physical formats: Printed edition:: No title; Printed edition:: No titleDDC classification: 005.1 Online resources: Click here to access online
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.
In: Springer Nature eBookSummary: 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.
    average rating: 0.0 (0 votes)
No physical items for this record

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.

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.

There are no comments for this item.

Log in to your account to post a comment.