FM 2026
Mon 18 - Fri 22 May 2026
Tokyo, Japan
Toggle navigation
Attending
Venue: Hitotsubashi Hall
Registration
Visa Information
Travel Information
Accommodations
Code of Conduct
Sponsorship
Program
Week Overview
Tracks
FM 2026
Invited Talks
Research Track
TAP Track
Artifact Evaluation
Journal First
Industry Day
Doctoral Symposium
Tutorials
Workshops Proposal
ABZ 2026
Workshop: AIPV
Workshop: FMTea
Workshop: Overture
Workshop: Rodin
Organization
FM 2026 Committees
FME Board
Organizing Committee
Track Committees
Research Track
TAP Track
Artifact Evaluation
Journal First
Industry Day
Doctoral Symposium
Tutorials
Workshops Proposal
Contributors
People Index
Search
Series
Sign in
Sign up
FM 2026
(
series
) /
Research Track
/
Accelerating Kind Realizability: A Multi-Stage Incremental Realizability Checking Framework
Who
Sirui Liu
,
Wei Dong
Track
FM 2026 Research Track
Sirui Liu
College of Computer Science, National University of DefenseTechnology, Changsha, China
China
Wei Dong
National University of Defense Technology
China
x
Fri 10 Apr 18:59