Skip to:Content
|
Bottom
Cover image for Formal Methods and Software Engineering 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings
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 Corporate Author:
Holds:
Copies:

Available:*

Library
Material Type
Item Barcode
Shelf Number
Status
Item Holds
Searching...
E-Book 521324-1001 XX(521324.1)
Searching...

On Order

Go to:Top of Page