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.

Colaborador(es): Barbosa, Haniel [editor.] | Zohar, Yoni [editor.] | SpringerLink (Online service)Tipo de material: TextoTextoSeries Lecture Notes in Computer Science ; 14414Editor: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Edición: 1st ed. 2024Descripción: XXII, 153 p. 39 illus., 17 illus. in color. online resourceTipo de contenido: text Tipo de medio: computer Tipo de portador: online resourceISBN: 9783031493423Tema(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 NetworksFormatos físicos adicionales: Printed edition:: Sin título; Printed edition:: Sin títuloClasificación CDD: 005.1 Clasificación LoC:QA76.758Recursos en línea: Libro electrónicoTexto
Contenidos:
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.
En: Springer Nature eBookResumen: 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.
Star ratings
    Valoración media: 0.0 (0 votos)
Existencias
Tipo de ítem Biblioteca actual Colección Signatura Copia número Estado Fecha de vencimiento Código de barras
Libro Electrónico Biblioteca Electrónica
Colección de Libros Electrónicos 1 No para préstamo

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.

UABC ; Perpetuidad

Con tecnología Koha