This will be a quite in-depth analysis of the education on my current university.

Currently we are doing a homework in Formal Methods and we have to use the Symbolic Analysis Laboratory The utility it self is a quite interesting software, but with a very bad documentation, but anyways we’ve managed to understand most of it, and started to define our own homework in it, and started to do some theorem checks with it. It came out that a very simple proof for a theorem takes about 6+ hours on a core2duo machine. So we started to simplify our model, but it still does sucks. So after having like 3 days of constant swearing and not sleeping, finally i wrote to the guy who’s responsible for checking the extra homeworks Peter Bokor . After exchanging 2-3 emails he got to the point, that basically he has no time checking what ever i coded in SAL – because it’s badly written, so it’s hard to understand -, so i should rewrite the whole model, try to simplify the whole thing.

So, what’s the problem in this you might ask? I don’t know what’s the point in doing something/anything in case if you are really interested in an area, you get no answer from the people you should get from – your teachers. It is an interesting approach from my professors that they are doing me a favor, when they are dealing with my problems/questions. I find it awkward, since they are getting payed for doing these things – especially in case when somebody is really interested in it and not just doing it because he wants to get that fucken’ mark…

oh, yeah the models i’ve created are here . Just to be fair with everybody…

well again… this is just eastern-europe where people do give a shit about other people… and in the meanwhile they try to fuck your things up if it’s possible….