TUHH TUHH
Logo Institute for Software Systems
Institute for Software Systems
Logo Institute for Software Systems
Institute for Software Systems
EN
DE
Search
EN
DE
Search
  • Institute
    Institute
    Institute
    Institute
    • Prof. Dr. Sibylle Schupp
    • People
      • Former members
      • Former Tutors
    • News
  • Research
    Research
    Research
    Research
    • Model Checking & Abstract Interpretation
    • Programming Languages & Program Reconstruction
    • Data Protection & Machine Learning
    • Publications
  • Lectures
    Lectures
    Lectures
    Lectures
    • Advanced Seminar
    • STS-Schedule
    • Courses
    • Previous terms
  • Student theses
    Student theses
    Student theses
    Student theses
    • Thesis projects
    • FAQ Thesis projects
  • Contact
    Contact
    Contact
    Contact
    • People
    • Reaching STS
  • Service
    Service
    Service
    Service
    • Infos and dates
    • Datenschutz
    • Education
    • STS-Schulprojekte
    • STS-Logo
  • Sitemap
STS > Research > Model Checking & Abstract Interpretation

Model Checking & Abstract Interpretation

 
Related Projects:
 

Harmonics Mover
... and its main application in Online Model Checking for Robotic Radiation Therapy

Model Checking of Automated Needle Steering
New techniques for the simulation and model checking of needle-tissue interaction

i3m4
Model Guided Machine Learning for Simulating Soft Tissue Materials in Medicine

QMTL-VT
A quantitative metric temporal logic for verification time

Uppyyl Simulator
A Python implementation of a DBM-based simulator for Uppaal models

 

Past projects:

Online Model Checking
Apply model checking to systems where accurate long-term models are difficult to obtain

ZenoTool
A Zeno Run detection tool for UPPAAL

BDDStab
A non-convex abstract domain for the binary analysis framework Jakstab

SPALTER
Frama-C plug-in that iteratively improves the precision of Frama-C's value analysis results

 

 

alt Logo
TU Hamburg
Institute for Software Systems (E-16)
Am Schwarzenberg-Campus 3 (E)
21073 Hamburg
E-mail : sts-office@tuhh.de
Phone : 040-42878-3460
Links
Imprint / Impressum
Privacy / Datenschutz