Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

In the last 15 years, starting the mid 1990s to today, SAT/SMT solvers  have seen an amazing improvement in efficiency and expressive power. The result has essentially been a dramatic rise in the use of SAT/SMT solvers in many areas of software engineering research such as formal methods, synthesis, program analysis and testing. It is safe to say that SAT/SMT solving is a disruptive technology. Irrespective of one's strategic frame of thought in the context of software reliability research, SAT/SMT solvers are an indispensable tactic.

...