{log}: Programming and Automated Proof in Set Theory (I) (abstract)

Rodin: two years of updates

Proof automation for Event-B theories

Constructing the Real Numbers using RODIN and EBRP’s plugin

{log}: Programming and Automated Proof in Set Theory (II)

Rodin-hs: A set of libraries and tools for handling Rodin files in Haskell

CamilleX 3.0

Formalisation of a Software Development Process

A Rigorous Iterative Analysis Approach for Capturing the Safety Requirements of Self-Driving Vehicle Systems:

Teaching Alloy with Alloy4Fun (abstract)

Generating safe code to prevent or handle integer overflows inside Event-B actions formulas

Intro to the IVOIRE project

Classification and Semantics of Validation Tasks

Formalizing and Validating the VO Approach

Using B to program the CLEARSY Safety Platform Starter Kit For Education (abstract)

Validation-Driven Development

A Case-study for Incremental Validation

Compositional Simulation of Abstract State Machines for Safety Critical Systems

Wrap Up

Formal verification of electronic voting systems (abstract)

Introducing Inductive Construction in B with the Theory Plugin (abstract)

Encoding TLA+ Proof Obligations Safely for SMT (abstract)

Standalone Event-B models analysis relying on the EB4EB meta-theory (abstract)

Adding records to Alloy (abstract)

Designing Secure Systems using Hierarchical STPA and Event-B (abstract)

Behavioural Theory of Reflective Algorithms (abstract)

Journal-First: Building Specifications in the Event-B Institution (abstract)

Exploration of Reflective ASMs for Genetic Algorithms and Security (abstract)

Refinements of Hybrid Dynamical Systems Logic (abstract)

Modeling and Analysis of a Safety-critical Interactive System through VOs (abstract)

Task Model Design and Analysis with Alloy (abstract)

Modeling and Verifying an Arrival Manager using Event-B (abstract)

formal MVC: a pattern for the integration of ASM specifications in UI development (abstract)

VerCors & Alpinist: verification of optimised GPU programs (abstract)

Modelling an Automotive Software System with TASTD (abstract)

TASTD a real-time extension for ASTD (abstract)

Thread-Local, Step-Local Proof Obligations for Refinement of State-Based Concurrent Systems (abstract)

Using Deep Ontologies in Formal Software Engineering

Pattern-based Refinement Generation Through Domain Specific Languages (abstract)

Modeling the MVM-Adapt System by Compositional I/O Abstract State Machines (abstract)

Validation of Formal Models by Interactive Simulation (abstract)

Crucible Tools for Test Generation and Advanced Animation of Alloy Models (abstract)

Verifying Event-B Hybrid Models using Cyclone (abstract)

Validation by Abstraction and Refinement (abstract)

Verifying temporal relational models with Pardinus (abstract)

Exploring a methodology for formal verification of safety-critical systems (abstract)

Extending Modelchecking with ProB to Floating-Point Numbers and Hybrid Systems (abstract)

A framework for formal verification and validation of railway systems (abstract)

Using Lambdapi to verify proof obligations of TLAPS generated by veriT (abstract)