Jaeyeon Jo

Graduate Student
email : tm77@konkuk.ac.kr



Current works

Team project in Software Verification Class (Presentations)

Publications


Interested

Hybrid system
Model checking
Theorem proving

Wiki Site

DSlab wiki

Etc

W3 Schools for web developer
Hybrid System
Automative Theorem Proving
Interactive Theorem Proving
Model Checking

Hybrid System Model Checker

  • HyTech
  • PHAVer
  • SpaceEx
  • Passel