Fundamentals of Software Engineering, Kartoniert / Broschiert

Klappentext

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