CODEWITHSUNDEEP
pythonz3
surindersood
surindersood

Reputation: 1

Can we Use Z3 SMT Solver for SW testing

Can we use Z3 to do functional verification of software. For example , if i have a code which does lets say vending machine controller , can we use Z3 to functionally test it , if yes, to how much depth and if no why?

Upvotes: 0

Views: 286

Answers (1)

alias
alias

Reputation: 30475

Using SMT solvers for verification is both "routinely done" and is also the topic of current research in both academia and industry. And Nikolaj is being modest: I'd recommend reading his excellent and highly accessible CACM article to start with, which also contains many useful further references.

Upvotes: 2

Related Questions