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).
Other Standard Identifiers 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