Note: Property Verification in general is not limited to Formal ... Advanced Model-Checking Algorithms. classic CMU algorithm; on-the-fly checking ...
