Open Research Topics for Students

  1. FOML/PathLP projects:
    Projects using PathLP -- A Path-based Logic Programming language
    Modeling projects, based on FOML -- A Logic Programming language for object modeling
  2. Class diagram analysis and verification:
    Projects on the FiniteSatUSE tool
    Projects on the model metrics -- evaluation and creation