3 ms·FUSE does this. https://formal.tech/products/fuse https://formal.tech/products/fuseby bddap 9y agoFUSE does this. https://formal.tech/products/fuse https://formal.tech/products/fusebddap 9y agoHere's a graph. http://fuse.galois.com/nexus4/visualization/ http://fuse.galois.com/nexus4/visualization/jstanley 9y agoIt is not at all clear what this graph is meant to represent.