Software engineering and formal methods : 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings / Carla Ferreira, Tim A. C. Willemse, editors.
International Conference on Software Engineering and Formal Methods (21st : 2023 : Eindhoven, Netherlands); Ferreira, Carla (Computer scientist), editor.; Willemse, Tim A. C. editor.
2023
QA76.758
Available Online

Linked e-resources

Linked Resource
Online Access
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks

Details

Title
Software engineering and formal methods : 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings / Carla Ferreira, Tim A. C. Willemse, editors.
Meeting Name
International Conference on Software Engineering and Formal Methods (21st : 2023 : Eindhoven, Netherlands)
ISBN
9783031471155 (electronic bk.)
3031471156 (electronic bk.)
9783031471148
3031471148
DOI
https://doi.org/10.1007/978-3-031-47115-5
Published
Cham : Springer, 2023.
Language
English
Description
1 online resource (xii, 378 pages) : illustrations (some color).
Item Number
10.1007/978-3-031-47115-5 doi
Call Number
QA76.758
Dewey Decimal Classification
005.1
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.
Note
Includes author index.
Bibliography, etc. Note
References -- Decoupled Fitness Criteria for Reactive Systems -- 1 Introduction -- 2 Preliminaries -- 3 A Formal Framework for Capturing Fitness -- 4 Reducing Fitness Evaluation to Matrix Analysis -- 4.1 Step [stepspsrecur]2: Constructing the Recurrence Relation -- 4.2 Step [stepspsmatrix]3: Matrix Analysis -- 5 Case Studies -- 5.1 Case Study #1: Simple Communication Protocol -- 5.2 Case Study #2: Two Phase Commit (2PC) -- 5.3 Case Study #3: Alternating Bit Protocol (ABP) -- 6 Related Work -- 7 Conclusions and Future Work -- References -- Capturing Smart Contract Design with DCR Graphs
Access Note
Access limited to authorized users.
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed November 7, 2023).
Added Author
Ferreira, Carla (Computer scientist), editor.
Willemse, Tim A. C. editor.
Series
Lecture notes in computer science ; 14323. 1611-3349
Lecture notes in computer science. Formal methods.
Available in Other Form
Print version: 9783031471148
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
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.

Browse Subjects

Show more subjects...

Statistics

from
to
Export