Stellingen
( I )
From a system point of view, it is possible that time deadlocks, that is, that time stops. Speaking as scientist, death is a clear example of a real-life time deadlock.
( II )
According to Alexander Friedmann's assumptions, there exist three models
of the universe. One of them is time deadlocking.
( III )
It is possible to carry out testing of timed systems in a complete fashion.
( IV )
It is possible to describe a hybrid system with a stochastic automaton provided that the time derivative does not change throughout the execution.
( V )
The use of several verification methodologies and tools with different characteristics on the same case study is significantly advantageous.
( VI )
Software engineers get more confident in the final design when errors are exposed in preliminary versions of this design. Likewise, Ph.D. students with their dissertations.
( VII )
Clubs are timeless, Hearts tick, Spades take chances, and Diamonds are forever.
( VIII )
There is a big book called "The art of misplacing a toilet" that Dutch architects keep in jealous secrecy.
( IX )
( X )
Who writes a dissertation should have no hope on its use beyond bookshelf decoration. He or she should not look for joy and satisfaction after the writing. Succeeding with it is anyway the only precious thing.