Hungarian Típusállapot-analízis Cited by user Bozó Tamás Dániel on 19 Apr 2021 A típusállapot-analízis (protokollanalízis) a programelemzés egyik formája, amelyet a programozási nyelvekben (leggyakrabban objektumorientált) alkalmaznak.
English Typestate analysis Cited by user Rjwilmsi on 23 Nov 2014 Typestate analysis, sometimes called protocol analysis, is a form of program analysis employed in programming languages.