Books+ Search Results
Software Engineering and Formal Methods 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings
Title
Software Engineering and Formal Methods [electronic resource] : 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings / edited by Carla Ferreira, Tim A. C. Willemse.
ISBN
9783031471155
Edition
1st ed. 2023.
Publication
Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
Physical Description
1 online resource (XII, 378 p.) 152 illus., 105 illus. in color.
Local Notes
Access is available to the Yale community.
Access and use
Access restricted by licensing agreement.
Summary
This book constitutes the refereed proceedings of the 21st International Conference on Software Engineering and Formal Methods, SEFM 2023, held in Eindhoven, The Netherlands, during November 6-10, 2023. The 18 regular papers presented in this book, together with 1 invited paper and 1 tool paper, were carefully reviewed and selected from 41 submissions. The SEFM conference series aims to bring together researchers and practitioners from academia, industry and government, to advance the state of the art in formal methods, to facilitate their uptake in the software industry, and to encourage their integration within practical software engineering methods and tools.
Variant and related titles
Springer ENIN.
Other formats
Printed edition:
Printed edition:
Format
Books / Online
Language
English
Added to Catalog
November 02, 2023
Series
Lecture Notes in Computer Science, 14323
Contents
Refinements for Open Automata
The Cubicle Fuzzy Loop : A Fuzzing-Based Extension for the Cubicle Model Checker
Guiding Symbolic Execution with A-star
Robustness Testing of Software Verifiers
Decoupled Fitness Criteria for Reactive Systems
Capturing Smart Contract Design with DCR Graphs
An Active Learning Approach to Synthesizing Program Contracts
Ranged Program Analysis via Instrumentation
Attack time analysis in dynamic attack trees via integer linear programming
SSCalc A Calculus for Solidity Smart Contracts
ATM: a Logic for Quantitative Security Properties on Attack Trees
Refactoring of Multi-Instance BPMN Processes with Time and Resources
Verified Scalable Parallel Computing with Why3
Exact and Efficient Bayesian Inference for Privacy Risk Quantification
A Formalization of Heisenbugs and Their Causes
Verifying Read-Copy Update under RC11
QNNRepair: Quantized Neural Network Repair
Timeout Prediction for Software Analyses
PART Tool Papers
PMC-VIS: An Interactive Visualization Tool for Probabilistic Model Checking.
Subjects
Also listed under
Bookmark As
Citation
