TCS / Research / Publications / Modular Reachability Analyser
Helsinki University of Technology, 
     Laboratory for Theoretical Computer Science

Modular Reachability Analyser


Marko Mäkelä. Modular reachability analyser. In Nisse Husberg, Tomi Janhunen, and Ilkka Niemelä, editors, Leksa Notes in Computer Science: Festschrift in Honour of Professor Leo Ojala, pages 75–85. Helsinki University of Technology, October 2000.


The Laboratory for Theoretical Computer Science, formerly Digital Systems Laboratory, has a long tradition in developing tools and algorithms for analysing distributed systems. The aim of the three-year research project Maria, financed by the National Technology Agency of Finland (TEKES) and by private companies, was to develop a tool capable of analysing real-world industrial systems. This is the last research project supervised by Professor Ojala, the founder of the laboratory, and also the biggest one he has supervised during his career.

Suggested BibTeX entry:

    author = {Marko M{\"a}kel{\"a}},
    booktitle = {Leksa Notes in Computer Science: Festschrift in Honour of Professor {Leo} {Ojala}},
    editor = {Husberg, Nisse and Janhunen, Tomi and Niemel{\"a}, Ilkka},
    month = {October},
    pages = {75--85},
    publisher = {Helsinki University of Technology},
    title = {Modular Reachability Analyser},
    year = {2000},

This work is not available online here.

[TCS main] [Contact Info] [Personnel] [Research] [Publications] [Software] [Studies] [News Archive] [Links]
Latest update: 19 January 2010.