Neovim State Machine

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