Formal Methods

I decided to give the formal methods and tools I introduce some personality. Not that they would need this, but it might be helpful to have some picture of them in mind when talking about them.

All cartoons and characters were created using the software of and are copyright by WWW.TOONDOO.COM a nice way to create comic strips or simply toon characters.

Now please select the actor you want to get introduced to on the right.