Systematic verification of building functionality.