Finding forall-exists Hyperbugs using Symbolic Execution 5 days ago (dl.acm.org) 2 comments todsacerdoti Reply Add to library anta40 2 hours ago I thought this has something to do with this book:https://forallx.openlogicproject.org/forallxyyc-accessible.p... throwaway81523 3 hours 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.
anta40 2 hours ago I thought this has something to do with this book:https://forallx.openlogicproject.org/forallxyyc-accessible.p...
throwaway81523 3 hours 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.
I thought this has something to do with this book:
https://forallx.openlogicproject.org/forallxyyc-accessible.p...
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.