4 ms·
Finding forall-exists Hyperbugs using Symbolic Execution
- throwaway81523 8mo ago2024. 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.
- anta40 8mo agoI thought this has something to do with this book: https://forallx.openlogicproject.org/forallxyyc-accessible.pdf https://forallx.openlogicproject.org/forallxyyc-accessible.p...