Buch, Englisch, 447 Seiten, Format (B × H): 155 mm x 235 mm
27th International Conference on Formal Engineering Methods, ICFEM 2026, Southampton, UK, November 17–20, 2026, Proceedings
Buch, Englisch, 447 Seiten, Format (B × H): 155 mm x 235 mm
Reihe: Lecture Notes in Computer Science
ISBN: 978-981-9280-43-8
Verlag: Springer
This LNCS volume constitutes the refereed proceedings of 27th International Conference on Formal Methods and Software Engineering, ICFEM 2026, held in Southampton, UK, during November 17–20, 2026.
The 22 full papers presented in these volumes were carefully reviewed and selected from 63 submissions.
ICFEM gathers researchers and practitioners interested in the recent advancement in the use and development of formal methods and tools for dependable software and system construction. It records the latest developments in formal engineering methods.
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
- Mathematik | Informatik EDV | Informatik Informatik Natürliche Sprachen & Maschinelle Übersetzung
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Software Engineering
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Compiler
- Mathematik | Informatik EDV | Informatik Angewandte Informatik
- Mathematik | Informatik EDV | Informatik Informatik Mathematik für Informatiker
Weitere Infos & Material
.- Specification is All You Need.
.- Are Safety Guarantees in Neural Networks Safe? How to ComputeTrustworthy Robustness Certifications.
.- Interval-based Verification of Neural Networks: Formally Verified!.
.- Correct-by-Construction Design of Timed Systems in Event-B.
.- Parametric Timed Automata to Handle Timing in Event-B.
.- Using the wide expressiveness of partial observability to decide security criterions in timed automata.
.- Causal Past Logic for Runtime Verification of Distributed LLM Agent Workflows.
.- CONTEXT4INV: LLM-Based Loop Invariant Generation via Context Strengthening.
.- Inferring Formal System Properties from Execution Traces with LLM-Seeded AST Genetic Algorithms.
.- DSDL Design and Reliable Instance Generation for Tactical Data Links.
.- Formalisation of Event-B rewriting rules and their Lambdapi translation.
.- Optimizing Moving Block Systems Using Event-B and Risk-based Flank Protection.
.- Formal Derivation of Behaviour-Tree Based System Specification from Goals in Event-B.
.- Extending B, Event-B and ProB for Floats and Reals.
.- TBFVV: Testing-Based Formal Validation and Verification.
.- Causal-Aware Partial-Order Reduction for Actor Models.
.- Formally verifying convergence of the gradient descent method for quadratic convex functions at code level.
.- Transaction-Guided Parameterized Model-Checking in Cubicle.
.- QCheck: A Framework for Probabilistic Model Checking of Quantum Programs.
.- Dynamic Analysis of Implicit Flow through Cross-Path Control-Flow Taint Aggregation.
.- Designing Shields for Safe Reinforcement Learning and Application to Autonomous Driving.
.- Signature modeling of packers using ASTDs.
.- Three-LayeredProofArchitecture inVerusSync:ACaseStudyon BBQueue.
