Abstract is missing.
- Refinements of Hybrid Dynamical Systems LogicAndré Platzer. 3-14 [doi]
- Using Deep Ontologies in Formal Software EngineeringAchim D. Brucker, Idir Aït-Sadoune, Nicolas Méric, Burkhart Wolff. 15-32 [doi]
- Pattern-Based Refinement Generation Through Domain Specific LanguagesElie Fares, Jean-Paul Bodeveix, Mamoun Filali. 35-42 [doi]
- Introducing Inductive Construction in B with the Theory PluginJulien Cervelle, Frédéric Gervais. 43-58 [doi]
- Validation of Formal Models by Interactive SimulationFabian Vu, Michael Leuschel. 59-69 [doi]
- Thread-Local, Step-Local Proof Obligations for Refinement of State-Based Concurrent SystemsGerhard Schellhorn, Stefan Bodenmüller, Wolfgang Reif. 70-87 [doi]
- + Proof Obligations Safely for SMTRosalie Defourné. 88-106 [doi]
- Modeling the MVM-Adapt System by Compositional I/O Abstract State MachinesSilvia Bonfanti, Elvinia Riccobene, Davide Santandrea, Patrizia Scandurra. 107-115 [doi]
- Crucible Tools for Test Generation and Animation of Alloy ModelsThomas Wilson, Stuart Matthews. 116-123 [doi]
- Modelling an Automotive Software System with TASTDDiego de Azevedo Oliveira, Marc Frappier. 124-141 [doi]
- TASTD: A Real-Time Extension for ASTDDiego de Azevedo Oliveira, Marc Frappier. 142-159 [doi]
- Validation by Abstraction and RefinementSebastian Stock 0002, Fabian Vu, David Geleßus, Michael Leuschel, Atif Mashkoor, Alexander Egyed. 160-178 [doi]
- Verifying Event-B Hybrid Models Using CycloneHao Wu, Zheng Cheng. 179-184 [doi]
- Exploration of Reflective ASMs for SecurityLinjie Tong, Ke Xu 0002, Jiarun Hu, Flavio Ferrarotti, Klaus-Dieter Schewe. 185-192 [doi]
- Standalone Event-B Models Analysis Relying on the EB4EB Meta-theoryPeter Riviere, Neeraj Kumar Singh 0001, Yamine Aït Ameur, Guillaume Dupont. 193-211 [doi]
- Adding Records to AlloyJulien Brunel, David Chemouil, Alcino Cunha, Nuno Macedo. 212-219 [doi]
- Designing Critical Systems Using Hierarchical STPA and Event-BAsieh Salehi Fathabadi, Colin F. Snook, Dana Dghaym, Thai Son Hoang, Fahad Alotaibi, Michael J. Butler. 220-237 [doi]
- Behavioural Theory of Reflective AlgorithmsFlavio Ferrarotti, Klaus-Dieter Schewe. 238-244 [doi]
- Building Specifications in the Event-B Institution: A SummaryMarie Farrell, Rosemary Monahan, James F. Power. 245-253 [doi]
- Verifying Temporal Relational Models with PardinusNuno Macedo, Julien Brunel, David Chemouil, Alcino Cunha. 254-261 [doi]
- AMAN Case StudyPhilippe A. Palanque, José Creissac Campos. 265-283 [doi]
- Modeling and Analysis of a Safety-Critical Interactive System Through Validation ObligationsDavid Geleßus, Sebastian Stock 0002, Fabian Vu, Michael Leuschel, Atif Mashkoor. 284-302 [doi]
- Task Model Design and Analysis with AlloyAlcino Cunha, Nuno Macedo, Eunsuk Kang. 303-320 [doi]
- Modeling and Verifying an Arrival Manager Using Event-BAmel Mammar, Michael Leuschel. 321-339 [doi]
- formal MVC: A Pattern for the Integration of ASM Specifications in UI DevelopmentAndrea Bombarda, Silvia Bonfanti, Angelo Gargantini. 340-357 [doi]
- Exploring a Methodology for Formal Verification of Safety-Critical SystemsOisín Sheridan. 361-365 [doi]
- Extending Modelchecking with ProB to Floating-Point Numbers and Hybrid SystemsKristin Rutenkolk. 366-370 [doi]
- A Framework for Formal Verification and Validation of Railway SystemsYannis Benabbi. 371-374 [doi]
- Reconstruction of TLAPS Proofs Solved by VeriT in LambdapiColtellacci Alessio. 375-377 [doi]