Program analysis facilities should be used whenever available to aid in the analysis of partial implementations.

Unless otherwise stated, the content of this page is licensed under Creative Commons Attribution-ShareAlike 3.0 License