Overview

Full Product Details

Author:   Carla Ferreira ,  Tim A. C. Willemse
Publisher:   Springer International Publishing AG
Imprint:   Springer International Publishing AG
Edition:   1st ed. 2023
Volume:   14323
Weight:   0.599kg
ISBN:  

9783031471148

ISBN 10:   3031471148
Pages:   378
Publication Date:   31 October 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

Refinements for Open Automata.- The Cubicle Fuzzy Loop : A Fuzzing-Based Extension for the Cubicle Model Checker.- Guiding Symbolic Execution with A-star.- Robustness Testing of Software Verifiers.- Decoupled Fitness Criteria for Reactive Systems.- Capturing Smart Contract Design with DCR Graphs.- An Active Learning Approach to Synthesizing Program Contracts.- Ranged Program Analysis via Instrumentation.- Attack time analysis in dynamic attack trees via integer linear programming.- SSCalc A Calculus for Solidity Smart Contracts.- ATM: a Logic for Quantitative Security Properties on Attack Trees.- Refactoring of Multi-Instance BPMN Processes with Time and Resources.- Verified Scalable Parallel Computing with Why3.- Exact and Efficient Bayesian Inference for Privacy Risk Quantification.- A Formalization of Heisenbugs and Their Causes.- Verifying Read-Copy Update under RC11.- QNNRepair: Quantized Neural Network Repair.- Timeout Prediction for Software Analyses.- PART  Tool Papers.- PMC-VIS: An Interactive Visualization Tool for Probabilistic Model Checking.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions