| ▲ | Finding forall-exists Hyperbugs using Symbolic Execution(dl.acm.org) | |
| 35 points by todsacerdoti 5 days ago | 2 comments | ||
| ▲ | anta40 2 hours ago | parent | next [-] | |
I thought this has something to do with this book: https://forallx.openlogicproject.org/forallxyyc-accessible.p... | ||
| ▲ | throwaway81523 4 hours ago | parent | prev [-] | |
2024. Looks interesting. I hadn't seen this terminology or analysis approach before. I've just started reading it. But, there's lots of literature on symbolic bug finding. | ||