001482895 000__ 05052cam\\22006377i\4500
001482895 001__ 1482895
001482895 003__ OCoLC
001482895 005__ 20231128003355.0
001482895 006__ m\\\\\o\\d\\\\\\\\
001482895 007__ cr\un\nnnunnun
001482895 008__ 231107s2023\\\\sz\a\\\\o\\\\\101\0\eng\d
001482895 019__ $$a1407211140$$a1407313586
001482895 020__ $$a9783031471155$$q(electronic bk.)
001482895 020__ $$a3031471156$$q(electronic bk.)
001482895 020__ $$z9783031471148
001482895 020__ $$z3031471148
001482895 0247_ $$a10.1007/978-3-031-47115-5$$2doi
001482895 035__ $$aSP(OCoLC)1407626830
001482895 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dYDX$$dEBLCP$$dOCLCO
001482895 049__ $$aISEA
001482895 050_4 $$aQA76.758
001482895 08204 $$a005.1$$223/eng/20231107
001482895 1112_ $$aInternational Conference on Software Engineering and Formal Methods$$n(21st :$$d2023 :$$cEindhoven, Netherlands)
001482895 24510 $$aSoftware engineering and formal methods :$$b21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings /$$cCarla Ferreira, Tim A. C. Willemse, editors.
001482895 2463_ $$aSEFM 2023
001482895 264_1 $$aCham :$$bSpringer,$$c2023.
001482895 300__ $$a1 online resource (xii, 378 pages) :$$billustrations (some color).
001482895 336__ $$atext$$btxt$$2rdacontent
001482895 337__ $$acomputer$$bc$$2rdamedia
001482895 338__ $$aonline resource$$bcr$$2rdacarrier
001482895 4901_ $$aLecture Notes in Computer Science,$$x1611-3349 ;$$v14323
001482895 4901_ $$aFormal methods
001482895 500__ $$aIncludes author index.
001482895 504__ $$aReferences -- 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
001482895 5050_ $$aRefinements 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.
001482895 506__ $$aAccess limited to authorized users.
001482895 520__ $$aThis 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.
001482895 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed November 7, 2023).
001482895 650_6 $$aGénie logiciel$$vCongrès.
001482895 650_6 $$aMéthodes formelles (Informatique)$$vCongrès.
001482895 650_0 $$aSoftware engineering$$vCongresses.$$vCongresses$$0(DLC)sh2008111658
001482895 650_0 $$aFormal methods (Computer science)$$vCongresses.$$vCongresses$$0(DLC)sh2008104061
001482895 655_0 $$aElectronic books.
001482895 7001_ $$aFerreira, Carla$$c(Computer scientist),$$eeditor.$$1https://orcid.org/0000-0003-3680-7634
001482895 7001_ $$aWillemse, Tim A. C.$$eeditor.$$0(orcid)0000-0003-3049-7962$$1https://orcid.org/0000-0003-3049-7962
001482895 77608 $$iPrint version: $$z3031471148$$z9783031471148$$w(OCoLC)1398569574
001482895 830_0 $$aLecture notes in computer science ;$$v14323.$$x1611-3349
001482895 830_0 $$aLecture notes in computer science.$$pFormal methods.
001482895 852__ $$bebk
001482895 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-031-47115-5$$zOnline Access$$91397441.1
001482895 909CO $$ooai:library.usi.edu:1482895$$pGLOBAL_SET
001482895 980__ $$aBIB
001482895 980__ $$aEBOOK
001482895 982__ $$aEbook
001482895 983__ $$aOnline
001482895 994__ $$a92$$bISE