Overview

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