Essays about: "Model Checking"

Showing result 1 - 5 of 86 essays containing the words Model Checking.

  1. 1. A Formal Analysis Framework For EAST-ADL Architectural Models Extended With Behavioral Specifications In Simulink

    University essay from Mälardalens högskola/Akademin för innovation, design och teknik; Mälardalens högskola/Akademin för innovation, design och teknik

    Author : Vasja Çollaku; Paolo Shestani; [2019]
    Keywords : UPPAAL; EAST-ADL; Simulink; MetaEdit ; Timed Automata; Brake-by-Wire; Model-Driven Development; Model Checking;

    Abstract : Model-Driven Development is a development approach which is being used frequently in the automotive context in order to design models. EAST-ADL is an architectural language which models systems according to their architectural features, whereas Simulink is a tool environment which models systems according to their behavior. READ MORE

  2. 2. Verifying Temporal Properties Using Deductive Verifiers

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS); KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Jesper Amilon; Axel Lindberg; [2019]
    Keywords : ;

    Abstract : Formal verification is an area of theoretical computer science where mathematical logic is used to prove that a program behaves in a certain way. With the methods in formal verification, you can prove that the program follows some given specification and thereby behaves in the desired way. The area is largely split up into two distinct parts. READ MORE

  3. 3. Identifying Hateful Text on Social Media with Machine Learning Classifiers and Normalization Methods - Using Support Vector Machines and Naive Bayes Algorithm

    University essay from Umeå universitet/Institutionen för datavetenskap

    Author : Sebastian Sandberg; [2018]
    Keywords : ;

    Abstract : Hateful content on social media is a growing problem. In this thesis, machine learning algorithms and pre-processing methods have been combined in order to train classifiers in identifying hateful text on social media. READ MORE

  4. 4. Energy audit in Fridhemsskolan : A preschool in Gävle municipality

    University essay from Högskolan i Gävle/Avdelningen för bygg- energi- och miljöteknik

    Author : Kazeem Ayinde Balogun; [2018]
    Keywords : Energy audit energy efficiency;

    Abstract : This thesis is about the energy audit in Fridhemsskolan which is an educational facility. Fridhemsskolan is a preschool for children in Gävle municipality for children up to the age of six years and comprise of nine buildings in total. READ MORE

  5. 5. Why Does Cash Still Exist?

    University essay from KTH/Fastigheter och byggande; KTH/Fastigheter och byggande

    Author : Oscar Asplund; Othon Tzobras; [2018]
    Keywords : Cash; Cashless; Society; Banking; Finance; Behavioral Economis; Big Data; SPSS; Bank; Finans; Kontanter; Kontantlös; Factor Analysis; Principal Component Analysis; Cash; Cashless; Society; Banking; Finance; Behavioral Economics; Big Data; SPSS; Bank; Finans; Kontanter; Kontantlös; Factor Analysis; Principal Component Analysis;

    Abstract : With non-cash transactions on the rise and the debate about the future cashless society is raging, cash is still being used around the world with varying degrees. This thesis studies the behavioral determinants of consumers with regard to cash usage. READ MORE