3 ms·
This article is about SMT-solvers, which are used in formal verification, which can be about security. SMT solvers are kind of newish: https://excape.cis.upenn.
by legulere 9y ago
This article is about SMT-solvers, which are used in formal verification, which can be about security.
SMT solvers are kind of newish: https://excape.cis.upenn.edu/documents/ClarkBarrettSlides.pdf https://excape.cis.upenn.edu/documents/ClarkBarrettSlides.pd...
- opportune 9y agoThe article and the linked paper (https://cacm.acm.org/magazines/2017/8/219606-the-science-of-brute-force/fulltext https://cacm.acm.org/magazines/2017/8/219606-the-science-of-...) are about SAT solvers. The paper mentions SMTs briefly in passing. There may be a disconnect in whether SMTs are referred to as SAT solvers or their own distinct entity, though Apologies for being nasty