Pavel Jančík

Research Interests

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

Teaching

Current

• Unix - Lecture 4 Zadani a Reseni

Past Teaching

• NSWI132: Program Analysis and Code Verification - labs (2010/2011 - Winter)
• NSWI132: Program Analysis and Code Verification - labs (2011/2012 - Winter)
• NPRG013: Java - labs (2011/2012 - Winter)
  • Lab01 - Slides
  • Lab02 - Slides
  • Lab03 - Slides
  • Lab04 - Slides
  • Lab05 - Slides
  • Lab10 - Assignment from previous years
  • 2012-01-19 - Robot Karel - intepreter - java prakticka zkouska - zadani a vzorove reseni.
  • 2012-01-26 - Robot Karel - GUI - java prakticka zkouska - zadani a vzorove (ne)reseni.

Bachelor/Master thesis

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.