PtrTracker: Pragmatic pointer analysis

Søgeresultater

• Afsluttet

  MT-LAB: MT-LAB A VKR Foundation Center of Excellence

  Larsen, K. G., Skou, A., Srba, J., Ravn, A. P., David, A. & Wisniewski, R.

  VKR Centre of Excellence

  01/10/2008 → 01/10/2013

  Projekter: Projekt › Forskning

  • Model Checking 100%
  • Project 100%
  • Software 100%
  • Foundation 100%
  • Foundations 100%