title: What is CTL Model Checking?
body: <p>I got asked to write my master thesis on CTL model checking, indeed I am unsure which company might need skills on that topic. Can anyone please tell me for what CTL model checking can be used in future and/or in economy?</p>
  <p>And what CTL Model Checking indeed is? As far as I understood it is a mechanism that specifies corectness of a property.</p>