Modeling with xtUML · Module 13 · Unit 2
Time and Logging
Learn to control how Verifier executes. In this video, you will understand:
- How to log extra information about what is happening during execution.
- What running deterministically means
- The difference between Wall clock and simulated time.