Del 15469 i serien Lecture Notes in Computer Science

Dependable Software Engineering. Theories, Tools, and Applications

10th International Symposium, SETTA 2024, Hong Kong, China, November 26–28, 2024, Proceedings

Häftad, Engelska, 2024

AvTimothy Bourke,Liqian Chen,Amir Goharshady

1 169 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

This book constitutes the refereed proceedings of the 10th International Symposium on Dependable Software Engineering. Theories, Tools, and Applications, SETTA 2024, held in Hong Kong, China, during November 26–28, 2024.The 21 full papers included in this book were carefully reviewed and selected from 47 submissions. The purpose of the SETTA symposium series is to bring international researchers together to exchange research results and ideas on bridging the gap between formal methods and software engineering.

Produktinformation

Utgivningsdatum2024-11-25
Mått155 x 235 x 24 mm
Vikt663 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor418
FörlagSpringer Nature Switzerland AG
ISBN9789819606016

Tillhör följande kategorier

Systemvetenskap och AI inom Data och IT
Programvaruutveckling inom Data och IT
Hårdvara inom Data och IT
Artificiell intelligens inom Data och IT

.- Invited Talks..- Synthesis from LTL with Reward Optimization in Sampled Oblivious Environments..- Regular Papers..- An Assertion-Based Separation Logic for Probabilistic Programs with Unbounded Loops..- Extending Symbolic Heap to Support Shared Ownership..- Constraint Based Invariant Generation with Modular Operations..- Data-Dependent WAR Analysis for Efficient Task-Based Intermittent Computing..- Can Language Models Pretend Solvers? Logic Code Simulation with LLM..- Enhancing Multi-modal Regular Expression Synthesis via Large Language Models and Semantic Manipulations of Sub-Expressions..- Formal Verification of RISC-V Processor Chisel Designs..- The Principle of Staking: Formal Verification of Staking Smart Contract..- A Contract-based Framework for Formal Verification of Embedded Software..- Formalizing x86-64 ISA in Isabelle/HOL: A Binary Semantics for eBPF JIT Correctness..- The Design of Intelligent Temperature Control System of Smart House with MARS..- Universal Construction for Linearizable but Not Strongly Linearizable Concurrent Objects..- Cache Behavior Analysis with SP-relative Addressing for WCET Estimation..- Timing Analysis of Cause-Effect Chains for External Events with Finite Validity Intervals..- Runtime Verification of Neural-Symbolic Systems..- Eidos: Efficient, Imperceptible Adversarial 3D Point Clouds..- MILE: A Mutation Testing Framework of In-Context Learning System..- A Derivative-based Membership Algorithm for Enhanced Regular Expressions..- NanoHook: An Efficient System Call Hooking Technique with One-Byte Invasive..- Faster Lifetime-optimal Speculative Partial Redundancy Elimination for Goto-free Program..- EDSLog: Efficient Log Anomaly Detection Method Based on Dataset Partitioning.