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.
