Published October 22, 2017 in What is soundness (in static analysis)? | Full size is 244 × 229 pixels

soundcomplete

Venn diagram visualizing soundness and completeness

Soundness and completeness, visualized

Leave a Reply

This site uses Akismet to reduce spam. Learn how your comment data is processed.