38 citations · 67 across the 16 of their papers we have counts for
1 paper · 2 filters
Alen Arslanagić, Pavle Subotić, Jorge A. Pérez
Static analyses based on typestates are important in certifying correctness of code contracts. Such analyses rely on Deterministic Finite Automata (DFAs) to specify properties of a…