ABZ

Keyphrases

Publications

2023

Peter Riviere, Neeraj Kumar Singh, Yamine Aït-Ameur, Guillaume Dupont
Standalone Event-B Models Analysis Relying on the EB4EB Meta-theory. ABZ (2023)
Fabian Vu, Michael Leuschel
Validation of Formal Models by Interactive Simulation. ABZ (2023)
Flavio Ferrarotti, Klaus-Dieter Schewe
Behavioural Theory of Reflective Algorithms. ABZ (2023)
Asieh Salehi Fathabadi, Colin F. Snook, Dana Dghaym, Thai Son Hoang, Fahad Alotaibi, Michael J. Butler
Designing Critical Systems Using Hierarchical STPA and Event-B. ABZ (2023)
David Geleßus, Sebastian Stock, Fabian Vu, Michael Leuschel, Atif Mashkoor
Modeling and Analysis of a Safety-Critical Interactive System Through Validation Obligations. ABZ (2023)
Julien Brunel, David Chemouil, Alcino Cunha, Nuno Macedo
Adding Records to Alloy. ABZ (2023)
Coltellacci Alessio
Reconstruction of TLAPS Proofs Solved by VeriT in Lambdapi. ABZ (2023)
Kristin Rutenkolk
Extending Modelchecking with ProB to Floating-Point Numbers and Hybrid Systems. ABZ (2023)
Oisín Sheridan
Exploring a Methodology for Formal Verification of Safety-Critical Systems. ABZ (2023)
Achim D. Brucker, Idir Aït-Sadoune, Nicolas Méric, Burkhart Wolff
Using Deep Ontologies in Formal Software Engineering. ABZ (2023)
Rosalie Defourné
Proof Obligations Safely for SMT. ABZ (2023)
Silvia Bonfanti, Elvinia Riccobene, Davide Santandrea, Patrizia Scandurra
Modeling the MVM-Adapt System by Compositional I/O Abstract State Machines. ABZ (2023)
Linjie Tong, Ke Xu, Jiarun Hu, Flavio Ferrarotti, Klaus-Dieter Schewe
Exploration of Reflective ASMs for Security. ABZ (2023)
Yannis Benabbi
A Framework for Formal Verification and Validation of Railway Systems. ABZ (2023)
Gerhard Schellhorn, Stefan Bodenmüller, Wolfgang Reif
Thread-Local, Step-Local Proof Obligations for Refinement of State-Based Concurrent Systems. ABZ (2023)
Nuno Macedo, Julien Brunel, David Chemouil, Alcino Cunha
Verifying Temporal Relational Models with Pardinus. ABZ (2023)
Marie Farrell, Rosemary Monahan, James F. Power
Building Specifications in the Event-B Institution: A Summary. ABZ (2023)
Sebastian Stock, Fabian Vu, David Geleßus, Michael Leuschel, Atif Mashkoor, Alexander Egyed
Validation by Abstraction and Refinement. ABZ (2023)
Alcino Cunha, Nuno Macedo, Eunsuk Kang
Task Model Design and Analysis with Alloy. ABZ (2023)
Julien Cervelle, Frédéric Gervais
Introducing Inductive Construction in B with the Theory Plugin. ABZ (2023)
Diego de Azevedo Oliveira, Marc Frappier
TASTD: A Real-Time Extension for ASTD. ABZ (2023)
André Platzer
Refinements of Hybrid Dynamical Systems Logic. ABZ (2023)
Diego de Azevedo Oliveira, Marc Frappier
Modelling an Automotive Software System with TASTD. ABZ (2023)
Thomas Wilson, Stuart Matthews
Crucible Tools for Test Generation and Animation of Alloy Models. ABZ (2023)
Philippe A. Palanque, José Creissac Campos
AMAN Case Study. ABZ (2023)
Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini
formal MVC: A Pattern for the Integration of ASM Specifications in UI Development. ABZ (2023)
Amel Mammar, Michael Leuschel
Modeling and Verifying an Arrival Manager Using Event-B. ABZ (2023)
Elie Fares, Jean-Paul Bodeveix, Mamoun Filali
Pattern-Based Refinement Generation Through Domain Specific Languages. ABZ (2023)
Hao Wu, Zheng Cheng
Verifying Event-B Hybrid Models Using Cyclone. ABZ (2023)

volume 14010, 2023

Rigorous State-Based Methods - 9th International Conference, ABZ 2023, Nancy, France, May 30 - June 2, 2023, Proceedings ABZ 14010 (2023)

2021

volume 12709, 2021

Rigorous State-Based Methods - 8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021, Proceedings ABZ 12709 (2021)

2020

Diego de Azevedo Oliveira, Marc Frappier
Verifying SGAC Access Control Policies: A Comparison of ProB, Alloy and Z3. ABZ (2020)

volume 12071, 2020

Rigorous State-Based Methods - 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings ABZ 12071 (2020)