Incremental Validation of Formal Specifications