4 citations · 4 across the 3 of their papers we have counts for
1 paper · 1 filter
Karl Palmskog, Andreas Lindner, Scott Constable +2
Many types of formal verification establish properties about abstract high-level program representations, leaving a large gap to programs at runtime. Although gaps can sometimes be…