An algebraic approach to analysis of recursive and concurrent programs

Search results

• Finished

  Static Analysis for Model Checking

  Terepeta, M. T., Nielson, F., Mödersheim, S. A., Cortesi, A., Jensen, T. & Nielson, H. R.

  1/3 FUU, 1/3 inst 1/3 Andet

  01/08/2010 → 25/10/2013

  Project: PhD

  • Domains 100%
  • Concurrent Program 100%
  • Recursive Program 100%
  • Aspect-Oriented 66%
  • Messages 66%