20 citations · 21 across the 2 of their papers we have counts for
1 paper · 1 filter
David Friggens, Lindsay Groves
Canonical abstraction is a static analysis technique that represents states as 3-valued logical structures, and produces finite abstract systems. Despite providing a finite bound,…