Buchumschlag

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

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

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: SpringerLink (Online service)
Weitere Verfasser: Barbosa, Haniel (HerausgeberIn), Zohar, Yoni (HerausgeberIn)
Format: Elektronisch E-Book
Sprache:Englisch
Veröffentlicht: Cham : Springer Nature Switzerland : Imprint: Springer, 2024.
Ausgabe:1st ed. 2024.
Schriftenreihe:Lecture Notes in Computer Science, 14414
Schlagworte:
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.
Online-Zugang:https://doi.org/10.1007/978-3-031-49342-3
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Inhaltsangabe:
  • 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.

Ähnliche Einträge