# Algorithms that do not Generate a Counter Example

1. Project integrity check
2. Project meet
3. Project sync
4. Project synthesis
5. BDD meet
6. BDD sync product
7. BDD synthesis
8. Level wise synthesis
9. BDD subsystem level wise synthesis
10. Check LD interface
11. All distributed algorithms

Moreover, no counter example is generated in the following scenarios:

1. Every algorithm first checks the project integrity, if the integrity fails the algorithm is not run; so no counter example is generated.
2. If the interface consistency check fails at point 2, no counter example is generated.
3. The SD controllability check and the S Singular prohibitive behaviour check are currently combined, if the result of these tests is not determined, no counter example is generated.

« | »