### 3 papers:

- DAC-2006-FengH #equivalence #verification
- Early cutpoint insertion for high-level software vs. RTL formal combinational equivalence verification (XF, AJH), pp. 1063–1068.
- SAS-2005-RinetzkySY #analysis #interprocedural #source code
- Interprocedural Shape Analysis for Cutpoint-Free Programs (NR, MS, EY), pp. 284–302.
- ICALP-1977-BertoniMT #automaton #probability #problem #recursion
- Some Recursive Unsolvable Problems Relating to Isolated Cutpoints in Probabilistic Automata (AB, GM, MT), pp. 87–94.