Research Output 2015 2017

  • 4 Conference contribution
  • 2 Paper
Filter
Paper
2016

Future-based Static Analysis of Message Passing Programs

Orchard, D. (ed.), Oortwijn, W. H. M., Yoshida, N. (ed.), Blom, S. & Huisman, M. Apr 2016 p. 65-72 8 p.

Research output: Scientific - peer-reviewPaper

Message passing
Emergency services
Air traffic control
Model checking
Algebra

Static Verification of Message Passing Programs

Oortwijn, W. H. M., Blom, S. & Huisman, M. Mar 2016 2 p.

Research output: ScientificPaper

Message passing
Positive ions
Application programming interfaces (API)
Algebra
Industrial applications