rene_mobile’s avatarrene_mobile’s Twitter Archive—№ 5,908

  1. …in reply to @ciphernyx
    @ciphernyx @halvarflake @Kensan42 Do you mean a co-design of the formalized protocol spec and the code implementing it, mining the state automaton from the code and cross-checking with the spec? Which languages are you looking at for parsing?