UID:
almahu_9949986042102882
Umfang:
X, 187 p. 45 illus., 31 illus. in color.
,
online resource.
Ausgabe:
1st ed. 2025.
ISBN:
9783031870545
Serie:
Lecture Notes in Computer Science, 15593
Inhalt:
This book constitutes the proceedings of the 11th IFIP WG 2.2 International Conference on Fundamentals of Software Engineering, FSEN 2025, held in Västerås, Sweden during April 7-8, 2025. The 11 full papers and 1 short paper included in this book were carefully reviewed and selected from 30 submissions. They deal with all aspects of formal methods, with a strong emphasis on promoting their industrial applications and integrating them with practical engineering practices.
Anmerkung:
-- Improved Gas Optimization of Smart Contracts. -- Distributing Quantum Circuits Using Formal Methods. -- Automated Test Generation: Taxonomy and Tool Applications. -- Finding Universally Quantified Heap Invariants by Horn Clause Transformations. -- A Framework for Model-Based Specification and Verification in Feature-Oriented Software Product Lines. -- Extracting Formal Models for User's Behaviors in Social Networks using Automata and Machine Learning. -- Shielded Online Reinforcement Learning for Stormwater Detention Ponds. -- On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic. -- On time-sensitive control closure for secure information flow. -- Automatic Generation of Loop Invariants in Dafny with Large Language Models. -- Streamlining Parameter Tuning in Full-Body Racing Simulators with an Automated Pipeline. -- Formally Verified Verifiable Group Generators.
In:
Springer Nature eBook
Weitere Ausg.:
Printed edition: ISBN 9783031870538
Weitere Ausg.:
Printed edition: ISBN 9783031870552
Sprache:
Englisch
DOI:
10.1007/978-3-031-87054-5
URL:
https://doi.org/10.1007/978-3-031-87054-5
Bookmarklink
