长垣产业园区科技文献服务平台

会议文集


文集名Rigorous State-Based Methods
会议名10th International Conference on Rigorous State-Based Methods (ABZ 2024)
中译名《第十届国际严格的基于状态的方法会议》
会议日期June 25-28, 2024
会议地点Bergamo, Italy
出版年2024
馆藏号352826


题名作者出版年
Formal Methods and Tools Applied in the Railway DomainMaurice H. ter Beek2024
Formal Modeling and Analysis of Apache Kafka in Alloy 6Saloni Sinha; Eunsuk Kang2024
Event-B Development of Modelling Human Intervention Request in Self-driving Vehicle SystemsFahad Alotaibi; Thai Son Hoang; Asieh Salehi Fathabadi; Michael Butler2024
Alloy Goes FuzzyPedro Silva; Alcino Cunha; Nuno Macedo; Jose N. Oliveira2024
Transpilation of Petri-nets into B Shallow and Deep EmbeddingsAkram Idani2024
A Lean Reflective Abstract State Machine DefinitionEgon Borger; Vincenzo Gervasi2024
Loose Observation in Event-BStefan Hallerstede2024
Modal Extensions of the Logic of Abstract State MachinesFlavio Ferrarotti; Klaus-Dieter Schewe2024
An Analysis of the Impact of Field-Value Instance Navigation in Alloy's Model FindingCesar Cornejo; Maria Marta Novaira; Sonia Permigiani; Nazareno Aguirre; Marcelo Frias; Simon Gutierrez Brida; German Regis2024
From Concept to Code: Unveiling a Tool for Translating Abstract State Machines into Java CodeAndrea Bombarda; Silvia Bonfanti; Angelo Gargantini2024
An Event-B Formal Model for Access Control and Resource Management of Serverless AppsMehmet Said Nur Yagmahan; Abdolbaghi Rezazadeh; Michael Butler2024
Property Ownership Formal Modelling Using Event-B and iUML-BManar Altamimi; Nawfal Al Hashimy; Asieh Salehi Fathabadi; Gary Wills2024
A Modeling and Verification Framework for Ethereum Smart ContractsSimone Valentini; Chiara Braghin; Elvinia Riccobene2024
Semantics Formalisation - From Event-B Contexts to TheoriesThai Son Hoang; Laurent Voisin; Karla Vanessa Morris Wright; Colin Snook; Michael Butler2024
Using Symbolic Execution to Transform Turbo Abstract State Machines into Basic Abstract State MachinesGiuseppe Del Castillo2024
Multi-model Animation with JeBJean-Pierre Jacquot2024
Meta-programming Event-B Advancing Tool Support and Language ExtensionsJulius Armbruster; Philipp Korner2024
Event-B as DSL in Isabelle and HOL Experiences from a PrototypeBenoit Ballenghien; Burkhart Wolff2024
ThoR: An Alloy5-Like DSL for Interactive Theorem Proving in CoqBodo Igler; Andreas Mayer2024
Verifying HyperLTL Properties in Event-BJean-Paul Bodeveix; Thomas Carle; Elie Fares; Mamoun Filali; Thai Son Hoang2024
12



国家科技图书文献中心  全球文献资源网  京ICP备05055788号-26  京公网安备11010202008970号  机械工业信息研究院 2018-2024