NHacker Next
  • new
  • past
  • show
  • ask
  • show
  • jobs
  • submit
▲Finding forall-exists Hyperbugs using Symbolic Execution (dl.acm.org)
48 points by todsacerdoti 45 days ago | 2 comments
anta40 40 days ago [-]
I thought this has something to do with this book:

https://forallx.openlogicproject.org/forallxyyc-accessible.p...

throwaway81523 40 days ago [-]
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.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact
Rendered at 02:18:05 GMT+0000 (UTC) with Wasmer Edge.