Pavel Jančík



E-mail: pavel.jancik at d3s.mff.cuni.cz
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

Teaching

Current

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.

Development

  • 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>d3s.mff.cuni.cz
  •  
  • How to find us?
Modified on 2017-10-24