Pavel Jančík

E-mail: pavel.jancik at
Phone: (+420) 221 914 285
Office: room 309, 2nd floor

Research Interests

  • Interpolations
  • Code Model cheching (explicit state and predicate abstraction based) and state matching
  • Debugging and Debugging techniques



Past Teaching

Bachelor/Master thesis

If you are interested in thesis (master/bachelor) in the field of code model checking or debugging write me a mail. Topic of the work will be arranged during the consultations.


  • BeJC - Behavior Java Checker
    BeJC checks consistency between component implementation in Java and TBP specification.

  • JPF-Inspector - debugger for a JPF code model checker
Logo of Faculty of Mathematics and Physics
  • Phone: +420 951 554 267, +420 951 554 236
  • Email: info<at-sign>
  • How to find us?
Modified on 2019-01-08