Essays about: "Fredrik Stenh"

Found 1 essay containing the words Fredrik Stenh.

  1. 1. Extending a Real-Time Model-Checker to a Test-Case Generation Tool Using libCoverage

    University essay from Institutionen för informationsteknologi

    Author : Fredrik Stenh; [2008]
    Keywords : ;

    Abstract : UPPAAL is a model-checker developed by the Department of Information Technology at Uppsala University in Sweden together with Aalborg University inDenmark. UPPAAL can be used to model, simulate, and verify timed automata. It has been used in many case studies since the first release in 1995. READ MORE