Neovim State Machine

Learning the State Machine Behind a Modal Text Editor: The (Neo)Vim Case Study
Pierre Ganty
SPIN 2024, 30th International Symposium on Model Checking Software, 10-11 April 2024, co-located with ETAPS 2024 in Luxembourg City, Luxembourg

PDF