Formal Methods and Software Engineering 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings
by
Li, Yi. editor.
Title
:
Formal Methods and Software Engineering 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings
Author
:
Li, Yi. editor.
ISBN
:
9789819975846
Edition
:
1st ed. 2023.
Physical Description
:
XXVIII, 300 p. 71 illus., 45 illus. in color. online resource.
Series
:
Lecture Notes in Computer Science, 14308
Contents
:
Invited Talk: Verifying Compiler Optimisations -- Regular Papers: An Idealist's Approach for Smart Contract Correctness -- Active Inference of EFSMs Without Reset -- Learning Mealy Machines with Local Timers -- Compositional Vulnerability Detection with Insecurity Separation Logic -- Dynamic Extrapolation in Extended Timed Automata -- Formalizing Robustness against Character-level Perturbations for Neural Network Language Models -- Trace models of concurrent valuation algebras -- Branch and Bound for Sigmoid-like Neural Network Verification -- Certifying Sequential Consistency of Machine Learning Accelerators -- Guided Integration of Formal Verification in Assurance Cases -- Validation-Driven Development -- Incremental Property Directed Reachability -- Proving Local Invariants in ASTDs -- Doctoral Symposium Papers: Formal Verification of the Burn-to-Claim Blockchain Interoperable Protocol -- Early and systematic validation of formal models -- Verifying Neural Networks by Approximating Convex Hulls -- Eager to Stop: Efficient Falsification of Deep Neural Networks -- A Runtime Verification Framework For Cyber-physical Systems Based On Data Analytics And LTL Formula Learning -- Unified Verification of Neural Networks' Robustness and Privacy in Computer Vision -- IoT Software Vulnerability Detection Techniques through Large Language Model -- Vulnerability Detection via Typestate-Guided Code Representation Learning.
Added Author
:
Li, Yi.
Tahar, Sofiène.
Added Corporate Author
:
SpringerLink (Online service)
Electronic Access
:
Library | Material Type | Item Barcode | Shelf Number | [[missing key: search.ChildField.HOLDING]] | Status |
---|
Online Library | E-Book | 521324-1001 | XX(521324.1) | | Elektronik Kütüphane |