IFM 2022: 17TH INTERNATIONAL CONFERENCE ON INTEGRATED FORMAL METHODS
PROGRAM

Days: Wednesday, June 8th Thursday, June 9th Friday, June 10th

Wednesday, June 8th

View this program: with abstractssession overviewtalk overview

10:30-12:30 Session 2: Cooperative and Relational Verification
10:30
Journal-First: Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal (abstract)
PRESENTER: Marie Farrell
11:00
Formal Specification and Verification of JDK’s Identity Hash Map Implementation (abstract)
11:30
Reusing Predicate Precision in Value Analysis (abstract)
12:00
Certified Verification of Relational Properties (abstract)
14:30-15:30 Session 3: B Method
14:30
Reachability Analysis and Simulation for Hybridised Event-B Models (abstract)
15:00
Operation Caching and State Compression for Model Checking of High-Level Models (abstract)
16:00-17:30 Session 4: Artefacts @ iFM: demos and panel

16:00 - 16:05: Opening by the Chairs of the Artefact Evaluation Committee and an EAPLS board representative.

16:05 - 16:30: One "Elevator pitch" of 3 minutes for each of the 7 Badge-Awarded Artefacts.

16:30 - 17:00: Poster-like time (without poster): one desk for each of the 7 Badge-Awarded Artefacts, where participants can meet the authors, assist to short demos, and possibly play with the artefacts.

17:00 - 17:30: Panel discussion on open science, and specific challenges faced in sharing artefacts, reviewing them and organising an artefact track. Each author of a Badge-Awarded artefact briefly presents benefits and challenges of artefact sharing. Participants can ask questions, moderated by the Artefact Chairs. The Artefact Chairs provide a summary at the end of the session.

Thursday, June 9th

View this program: with abstractssession overviewtalk overview

10:30-12:30 Session 6: Time and Probability
10:30
Conservative Time Discretization: A Comparative Study (abstract)
11:00
Untangling the Graphs of Timed Automata to Decrease the Number of Clocks (abstract)
11:30
Probabilistic Model Checking of BPMN Processes at Runtime (abstract)
12:00
HyperPCTL Model Checking by Probabilistic Decomposition (abstract)
14:30-15:30 Session 7: Learning and Synthesis
14:30
Learning Finite State Models from Recurrent Neural Networks (abstract)
15:00
Kaki: Concurrent Update Synthesis for Regular Policies via Petri Games (abstract)
Friday, June 10th

View this program: with abstractssession overviewtalk overview

09:00-10:00 Session 9: Keynote 3
09:00
Empowering the Event-B Method Using External Theories
10:30-12:30 Session 10: Security, Static Analysis and Testing
10:30
Verified Password Generation from Password Composition Policies (abstract)
11:00
A Policy Language to Capture Compliance of Data Protection Requirements (abstract)
11:30
Extending Data Flow Coverage to Test Constraint Refinements (abstract)
12:00
Scalable Typestate Analysis for Low-Latency Environments (abstract)