Finding forall-exists Hyperbugs using Symbolic Execution

(dl.acm.org)

20 points by todsacerdoti5 days ago

0 comments