3 ms·
Also, what, if any, are the pre-requisites of understanding them (formal methods, SAT/SMT solvers, theorem proving)?
by vardhanw 5y ago
Also, what, if any, are the pre-requisites of understanding them (formal methods, SAT/SMT solvers, theorem proving)?
- mcguire 5y agoHonestly, the only specific thing I can think of is basic formal logic (predicate calculus, sets, functions, formal proofs, and so forth). (For ex: https://www.logicmatters.net/ifl/ https://www.logicmatters.net/ifl/) The specific technique may have something more, but generally any resources start by assuming you know nothing more than formal logic (if that) and build from there.