Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Dilian Gurov: Master's project supervision
Master's project supervision (Examensarbete)
If you are interested in doing a Master's project (sv. examensarbete)
in the Formal Methods area (Program Semantics, Program Verification),
please contact me (dilian at imit.kth.se). Possible project topics, among
others, are:
Program Verification based on Symbolic Execution
Verification of Programs with Recursion based on Pushdown Automata
Compositional Program Verification based on Maximal Models