# Compute Lazily - Model checking

What is meant by lazily computing online? For example, in context of synthesis, that uses model checking.