000 05251nam a22006495i 4500
001 978-3-031-63790-2
003 DE-He213
005 20240730172501.0
007 cr nn 008mamaa
008 240621s2024 sz | s |||| 0|eng d
020 _a9783031637902
_9978-3-031-63790-2
024 7 _a10.1007/978-3-031-63790-2
_2doi
050 4 _aQA267-268.5
072 7 _aUYA
_2bicssc
072 7 _aCOM014000
_2bisacsh
072 7 _aUYA
_2thema
082 0 4 _a005.131
_223
245 1 0 _aRigorous State-Based Methods
_h[electronic resource] :
_b10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedings /
_cedited by Silvia Bonfanti, Angelo Gargantini, Michael Leuschel, Elvinia Riccobene, Patrizia Scandurra.
250 _a1st ed. 2024.
264 1 _aCham :
_bSpringer Nature Switzerland :
_bImprint: Springer,
_c2024.
300 _aXV, 398 p. 137 illus., 101 illus. in color.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v14759
505 0 _a1 Invited Talk -- Formal Methods and Tools Applied in the Railway Domain -- 2 Research Papers -- Formal Modeling and Analysis of Apache Kafka in Alloy 6 -- Event-B Development of Modelling Human Intervention Request in Self- Driving Vehicle Systems -- Alloy Goes Fuzzy -- Transpilation of Petri-nets into B: Shallow and Deep Embeddings -- A Lean Reflective Abstract State Machine Definition -- Loose Observation in Event-B -- Modal Extensions of the Logic of Abstract State Machines -- An Analysis of the Impact of Field-Value Instance Navigation in Alloy's Model Finding -- From Concept to Code: Unveiling a Tool for Translating Abstract State Machines into Java Code -- 3 Short Research Papers -- An Event-B Formal Model for Access Control and Resource Management of Serverless Apps -- Property Ownership Formal Modelling Using Event-B and iUML-B -- A Modeling and Verification Framework for Ethereum Smart Contracts -- Semantics Formalisation - From Event-B Contexts to Theories -- Using Symbolic Execution to Transform Turbo Abstract State Machines into Basic Abstract State Machines -- Multi-model Animation with Jeb -- Meta-Programming Event-B: Advancing Tool Support and Language Extensions -- Event-B as DSL in Isabelle and HOL -- ThoR: An Alloy5-based DSL for Interactive Theorem Proving in Coq -- Verifying HyperLTL properties in Event-B -- Small Step Incremental Verification of Compilers -- Designing Exception Handling using Event-B -- 4 Case Study -- The Mechanical Lung Ventilator Case Study -- Real-Time CCSL: Application to the Mechanical Lung Ventilator -- An Event-B Model of a Mechanical Lung Ventilator -- Modelling the Mechanical Lung Ventilation System using TASTD -- Modelling and Analysing a Mechanical Lung Ventilator in mCRL2 -- FRETting and Formal Modelling: A Mechanical Lung Ventilator -- 5 Doctoral Symposium -- From Event-B to Lambdapi -- Proof Construction and Checking on Evolving Abstract State Machines .
520 _aThis book constitutes the refereed proceedings of the 10th International Conference on Rigorous State-Based Methods, ABZ 2024, held in Bergamo, Italy, during June 25-28, 2024. The 29 papers included in this volume were carefully reviewed and selected from 47 submissions. They were organized in topical sections as follows: research papers; short research papers; case study; doctoral symposium.
650 0 _aMachine theory.
_9103989
650 0 _aComputer engineering.
_910164
650 0 _aComputer networks .
_931572
650 0 _aApplication software.
_9103991
650 0 _aLogic programming.
_92730
650 0 _aCompilers (Computer programs).
_93350
650 1 4 _aFormal Languages and Automata Theory.
_9103994
650 2 4 _aComputer Engineering and Networks.
_9103996
650 2 4 _aComputer and Information Systems Applications.
_9103997
650 2 4 _aLogic in AI.
_933012
650 2 4 _aCompilers and Interpreters.
_931853
700 1 _aBonfanti, Silvia.
_eeditor.
_0(orcid)
_10000-0001-9679-4551
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9104000
700 1 _aGargantini, Angelo.
_eeditor.
_0(orcid)
_10000-0002-4035-0131
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9104001
700 1 _aLeuschel, Michael.
_eeditor.
_0(orcid)
_10000-0002-4595-1518
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9104002
700 1 _aRiccobene, Elvinia.
_eeditor.
_0(orcid)
_10000-0002-1400-1026
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9104003
700 1 _aScandurra, Patrizia.
_eeditor.
_0(orcid)
_10000-0002-9209-3624
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9104004
710 2 _aSpringerLink (Online service)
_9104007
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783031637896
776 0 8 _iPrinted edition:
_z9783031637919
830 0 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v14759
_923263
856 4 0 _uhttps://doi.org/10.1007/978-3-031-63790-2
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cEBK
999 _c88342
_d88342